ELF`{4( ! E;{\wSF @؉D$@ A I$B J$GGGD$@w&Cpcv=w&! EEuEx>f,4=E;CT;{\EuEF A I$B J$G=GGFEGEEE> @F%? ȉFOCpclx=w7E;CTrJEuEFEFE @F%? ȉFcf" sEu &E f! sEEEF EvE\@&! EEuE@f=E;CT;{\EuEF A I$B J$G?GGFEGEEEA @F%? ȉFOCpc" sE &E<;{\ A I$B J$G ?G̡GЋEG؋ A I$B J$G8AGGEG A I$B J$GGGG܉GGȉw &Cp<c" EEE uEBv! EEuEuE0Cb sEEpCEF EEpC=wNE;CTraEuEFEEFEE=EC @F%? ȉFcv! EuE! EEuEEDv ! EEuEEDv! sE&EEFEED08=wCpcEFEElET E,;{\EED$@ A I$B J$GGܡGEG A I$B J$GGGG]GىGD$@GEweCp, E,;{\ A I$B J$GOGܡGwEG A I$B J$GTGGEGEEuwۍGEEEV6Cp,C vc #E|!uECEV&f" #EF HME19~1늍qf  #v=w(E;CTr;EFEv EX& @F%? ȉFcfDP#=E;CT;{\EuEF A I$B J$GdXGGFGFGE @F%? ȉF_Cpc Av=wE;CTr0F EE @F%? ȉFc! E(;{\wi A I$B J$GGGwEGEGEGE GEGEw݃ &Cp(C =&E;CT?;{\)EuEF A I$B J$LJ<@=@DFL A I$B J$LJPDTX<` A I$B J$LJdhlPt A I$B J$LJx|GPG A I$B J$GEGG->(,)->>Orderingp cnf []String [][][][]->[]c []c SAT instance in DIMACS CNF input format. [][]Int->[]->[][][][][]->>[]->[]String->>>(#,#)[]->Key->Int(,)->(#,#)->Int(,)[][]->(#,#)->(,)This is not a CNF file[](,)cnf[]->Bool->Bool[][][]->>[]->>IOP[]->[](,)->>Maybe->>IntMap(,)->>Maybe->>IntMap->>IntMap->[]IntMap->[]IntMap[]StringIntStringInt(,)[]->[]->[]->>[]IntMap->>>State#STRepArray->(,)->>>State#->[]->[]->>[][]STRepArray->(,)SATProblem->>(#,#)->IOCAFFileFormat.SATLIBGHC 7.0.4.symtab.strtab.shstrtab.rel.text.rel.data.bss.rodata.note.GNU-stack.comment4_ 3 )`d%  /ld4ld<zL0z  {U@} !  `!(3=GR@\Hft(`(8P'1h?JXT\^`hr`  L $/@:\DdN\ gq{ PT   p ! ,6@HKValDw|,X\ !<,d7PBLVaku X`| $0\ ld#P-T7AOdZdn|D $(`d l$`!/ :DN\#g!r|$""04"<#pth#`%$' 1?%J@ TX ^\ hr&   '   8<)|((( 0 #L-P;)FT)Q)\p fx p`~p.  ,*  *8 < +l+,- - . x ' 1 ; E S a o y  .    01 ,  0  / \0 0 l  t   :! t1, 6 @ 42K U _ 2j 3u h4 3 4 <  H  4   5   6 7 7 ,7 p7 ) 3 <8> `8I 8T 9_ (:j Xt d~  :    :   $ ; , 4 0 < p( x2 = H =S ] g @=r }   = 0> x> > < @ ? |  ? \@ @ A & 0 8A; BF 0CQ pC\ g Cr |  D D D D 4E @ D E   F HF%G0:DPIO|IZTd\n8JyJ(KKL$MtMM,4,N px!N,\O7OBLV` jXPuxRPHPRSST@TTT TV*V5W@XKU_dXjTt\~XYZZ^^$0T\&9|CMr,[ry'Kl4L6z.Ns ;Tsl"ph."Y|9oH#Du=^"=Xv#@N]x0C$_  4_L T Z c j   !,!E!_r1ikb_closurer1ikd_closurer1ikd_infos1iva_infoc1iVi_strc1iVm_strs1ivb_infoc1iVO_strc1iVS_strr1ikf_closurer1ikf_infos1ivz_infos1ivA_infos1ivB_infos1ivC_infoc1iXB_strc1iXF_strr1ikh_closurer1ikj_closurer1ikj_infoc1iY7_strc1iYd_strc1iYh_strr1ikl_closurer1ikl_infoc1iZg_strc1iZk_strr1ikn_closurer1ikn_infoc1j0h_strc1j0n_strc1j0r_strr1ikp_srtr1ikp_closurer1ikp_infoc1j1s_strc1j1w_strr1ikr_closurer1ikt_srtr1ikt_closurer1ikt_infoc1j2K_strc1j2O_strs1iwq_infos1iwm_infos1iwn_infos1iwp_infoc1j3T_strc1j3X_strs1iwr_infos1iwl_infoc1j5s_strc1j5w_strr1ikv_closurer1ikv_infoc1j5T_strc1j5Z_strc1j63_strr1ikx_closurer1ikx_infoc1j70_strc1j76_strc1j7a_strr1ikz_closurer1ikB_closurec1j98_strc1j9c_strs1imL_infos1ixt_infoc1jaq_strc1jau_strs1ixv_infos1ixr_infoc1jch_strc1jcl_strs1in0_infos1ixE_infos1ixB_infos1ixx_infos1ixy_infos1ixz_infos1ixA_infos1ixq_infos1ixi_infoc1jg3_strc1jg7_strs1ini_infos1ixF_infoc1jgP_strc1jgT_strs1ixH_infos1ixJ_infos1ixj_infoc1jix_strc1jiB_strs1ixK_infos1ixM_infos1ixk_infos1ixl_infoc1jkb_strc1jkf_strs1ixN_infoc1jkI_strc1jkM_strs1ins_infoc1jlv_strc1jlz_strs1inB_infos1ixP_infoc1jn3_strc1jn7_strs1inz_infoc1jnB_strc1jnF_strs1ixR_infoc1joM_strc1joQ_strr1ikE_closurer1ikG_closurer1ikG_infoc1jpx_strc1jpB_strr1ikI_srtr1ikI_closurer1ikI_infoc1jqz_strc1jqD_strr1ikK_closurer1ikM_closurer1ikM_infoc1jr2_strc1jr6_strr1ikO_closurer1ikO_infos1iBt_infoc1js7_strc1jsb_strs1io3_infos1iob_infos1iBs_infoc1juR_strc1juV_strr1ikQ_closurer1ikQ_infos1iD8_infoc1jwe_strc1jwi_strr1ikS_closurer1ikS_infos1iDF_infoc1jxc_strc1jxg_strs1ioK_infos1iDH_infoc1jxY_strc1jy2_strs1iDJ_infos1iDI_infoc1jyJ_strc1jyN_strs1iDL_infoc1jzf_strc1jzj_strr1ikU_closurer1ikU_infos1iEj_infoc1jAN_strc1jAR_strr1ikW_closurer1ikW_infoc1jBf_strc1jBl_strc1jBp_strr1ikY_srtr1ikY_closurer1ikY_infoc1jCq_strc1jCu_strr1il0_closurer1il0_infoc1jDr_strc1jDx_strc1jDB_strr1il2_srtr1il2_closurer1il2_infos1iEG_infos1iEE_infoc1jFc_strc1jFg_strr1il4_srtr1il4_closurer1il4_infos1iF8_infos1iF6_infoc1jGh_strc1jGl_strr1il6_closurer1il6_infoc1jGU_strc1jGY_strs1iFy_infoc1jHD_strc1jHH_strs1iFB_infoc1jId_strc1jIh_strs1iFC_infos1ipA_infos1iFx_infos1ipF_infos1iFD_infos1iFE_infoc1jLx_strc1jLB_strc1jM1_strc1jM5_strr1il8_closurer1ila_closurer1ilc_closurer1ile_srtr1ile_closurer1ile_infoc1jME_strc1jMI_strr1ilg_closurer1ilg_infoc1jNP_strc1jNT_strs1iH7_infos1iH8_infos1iH6_infoc1jP6_strc1jPa_strr1ili_closurer1ili_infos1iHy_infoc1jQF_strc1jQJ_strs1iHC_infoc1jRd_strc1jRh_strs1iqn_infos1iHE_infos1iqA_infos1iHF_infos1iHD_infoc1jT4_strc1jT8_strs1iHG_infoc1jUw_strc1jUA_strs1iHI_infoc1jV4_strc1jV8_strs1iqP_infos1iHK_infos1ir2_infos1iHL_infos1iHJ_infoc1jWV_strc1jWZ_strs1iHM_infos1iHN_infos1iHz_infos1iHA_infos1iHx_infoc1jZy_strc1jZC_strr1ilk_closurer1ilk_infoc1jZY_strc1k02_strr1ilm_closurer1ilm_infoc1k0l_strc1k0p_strr1ilo_closurer1ilo_infoc1k1l_strc1k1p_strr1ilq_closurer1ilq_infoc1k1I_strc1k1M_strc1k2C_srtdc1k2N_srtds1iK1_infoc1k3i_strc1k3m_strs1iru_infoc1k2U_srtdc1k4h_strc1k4l_strs1iK8_infos1iK9_infos1iK6_infos1iK7_infoc1k5G_strc1k5K_strs1iKc_infoc1k6C_strc1k6G_strs1iKf_infos1iKg_infos1iKd_infos1iKe_infoc1k81_strc1k85_strs1iKj_infos1iK4_infos1iK5_infos1irB_infoc1kaa_srtds1iKk_infoc1kav_strc1kaz_strs1is0_infos1iKr_infos1iKs_infos1iKt_infos1iKq_infoc1kc4_strc1kc8_strs1isl_infoc1kcZ_strc1kd3_strs1iuz_infos1iux_infos1iKz_infoc1keP_strc1keT_strs1iKC_infoc1kfo_strc1kfs_strs1iKD_infos1iKy_infoc1khj_strc1khn_strs1iKJ_infos1iKE_infos1iu2_infoc1kiZ_strc1kj3_strs1iu8_infos1iKG_infos1iug_infos1iKI_infoc1klm_strc1klq_strs1iKQ_infoc1klR_strc1klV_strs1iKR_infoc1kmG_strc1kmK_strs1iKX_infos1iKS_infos1isO_infoc1kok_strc1koo_strc1kpf_strc1kpj_strs1it0_infos1isY_infos1iL2_infoc1kr5_strc1kr9_strs1iL5_infoc1krE_strc1krI_strs1iL6_infos1iL7_infos1iL8_infos1iL9_infos1iLa_infos1iLb_infoc1ktW_strc1ku0_strs1iLd_infos1itm_infos1iKU_infos1itu_infos1iKW_infoc1kwU_strc1kwY_strs1iLi_infoc1kxp_strc1kxt_strs1iLj_infoc1kye_strc1kyi_strs1iLl_infos1iLk_infoc1kzl_strc1kzp_strs1iLm_infoc1kCl_srtds1iK2_infoc1kCL_srtds1iK3_infoc1kCY_strc1kD2_strc1kDr_strc1kDv_str_module_registeredc1kDH_strc1kDL_strghczmprim_GHCziTypes_Czh_static_infoCCS_DONT_CARECCS_SUBSUMEDCCCSghczmprim_GHCziTypes_Izh_con_infoerastg_upd_frame_infoentering_PAPghczmprim_GHCziTuple_Z2T_con_infobase_GHCziBase_compareIntzh_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_CAFs_cc_ccsstg_CAF_BLACKHOLE_infonewCAFstg_IND_STATIC_infostg_bh_upd_frame_infobase_GHCziBase_unpackCStringzh_infoghczmprim_GHCziTypes_ZMZN_closurebase_GHCziShow_zdwshowSignedInt_infobase_GHCziBase_zpzp_infoghczmprim_GHCziTypes_ZC_static_infoghczmprim_GHCziTypes_ZC_con_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF1_srtbase_GHCziList_init2_closurebase_SystemziIO_writeFile1_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF1_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF1_infobase_GHCziBase_map_infostg_ap_2_upd_infoEnterFunCCSbase_GHCziList_init1_infobase_GHCziList_concatzugo_infobase_DataziList_sortBy_infostg_ap_p_fastbase_GHCziEnum_eftInt_infobase_SystemziIO_writeFile1_infoghczmprim_GHCziTypes_Izh_static_infobase_TextziRead_zdwread_closurebase_GHCziRead_zdfReadInt2_closurebase_TextziRead_zdwread_infobase_GHCziBase_plusInt_infostg_gc_utstg_sel_1_upd_infostg_sel_0_upd_infobase_GHCziErr_error_closurebase_GHCziErr_error_infobase_GHCziList_badHead_closureghczmprim_GHCziBool_True_closureghczmprim_GHCziBool_False_closurestg_ap_0_fastbase_GHCziList_reverse_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF_srtcombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF_infoghczmprim_GHCziTuple_Z2T_static_infobase_TextziRead_read3_closurebase_GHCziRead_zdfReadDouble4_closurestg_ap_p_infobase_TextziParserCombinatorsziReadPrec_minPrec_closurebase_GHCziRead_zdfReadInt3_closurebase_GHCziNum_zdfNumInt_closurebase_GHCziRead_zdfReadDouble4_infobase_DataziList_words_infobase_DataziMaybe_Just_con_infocontainerszm0zi5zi0zi0_DataziIntMapziBase_zdwupdateWithKey_infocontainerszm0zi5zi0zi0_DataziIntMapziBase_Nil_closurecontainerszm0zi5zi0zi0_DataziIntMapziBase_fromList1_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile1_srtbase_GHCziArr_zn_closurebase_GHCziList_tail1_closurebase_GHCziList_znznzusub_closurebase_GHCziIOziHandleziText_hGetContents1_closurebase_GHCziIOziHandleziFD_openFile1_closurebase_GHCziArr_zdfIxInt_closurebase_GHCziArr_negRange_closurebase_GHCziArr_arrEleBottom_closurebase_TextziRead_read1_closurebase_TextziRead_read2_closurecombinatorialzmproblemszm0zi0zi5_CombinatorialOptimisationziSAT_zdwsatproblem_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile1_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile1_infobase_GHCziList_filter_infobase_DataziList_lines_infobase_GHCziList_znznzusub_infobase_TextziRead_read4_infobase_TextziParserCombinatorsziReadP_run_infobase_GHCziClasses_zdfEqZMZNzuzdczeze1_infostg_MUT_ARR_PTRS_DIRTY_infostg_MUT_ARR_PTRS_FROZEN0_infobase_GHCziArr_Array_con_infostg_gc_noregsstg_newArrayzhbase_GHCziST_runSTRep_infobase_GHCziArr_zn_infocontainerszm0zi5zi0zi0_DataziIntMapziBase_elems_infobase_GHCziList_zzip_infocombinatorialzmproblemszm0zi0zi5_CombinatorialOptimisationziSAT_SATProblem_con_infocombinatorialzmproblemszm0zi0zi5_CombinatorialOptimisationziSAT_zdwsatproblem_infobase_GHCziIOziHandleziText_hGetContents1_infobase_GHCziIOziIOMode_ReadMode_closurebase_GHCziIOziHandleziFD_openFile1_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile_srtcombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_CAFs_cc__stginit_combinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_pCC_LISTCC_IDCCS_LISTCCS_ID__stginit_arrayzm0zi3zi0zi2_DataziArray_p__stginit_containerszm0zi5zi0zi0_DataziIntMap_p__stginit_combinatorialzmproblemszm0zi0zi5_CombinatorialOptimisationziSAT_p__stginit_base_DataziList_p__stginit_base_Prelude_p__stginit_combinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB,>KPX  2?DL^p},1Fdiv#5DKV_c%4;FOSr!07BKOn|$+6?Cbiw $+8PU_s,NScu    H P T b v           " + / N \            > L t x          - 2 : ` d r          ) 6 ; C [ m z            8<LUe}'49AYkx} "0HMZh ).6HZglt 09Iao (-5Kes .@MRZgq @Phz%<TYr4<GM_lqy &H$-=Uc%27?Qcpu} (JTXf#LTXfyPTbt| 6HUZbt */7I[hmu  $ 4 8 F Z d q       !!$!)!1!P!T!b!v!!!!!!!!!""&"8"@"K"P"`"n""""""""""##@#M#X#\#j#|########## $$$$$6$H$U$Z$b$t$$$$$$$$% %%%P%T%b%y%%%%%%%%&&&&&/&3&R&`&&&&&&&&'''#'''F'T'|'''''''' (((6(D((((((((((()))&)0)=)X)c)p)|)))))))))))*** *.*@*H*S*g***********++ +++?+p+++++++++++,,',,,4,`,r,,,,,,,---"-4-A-F-N-`-s-x-------...3.@.M.`.d.r.............(/3/E/T/[/f/o/s//////////000/0`00000000001 1$121F1P1]1x11111111111$2(262H2P2[2`2s22222222223303=3B3J3f333334-424E4X4\4l4u4444445 55525D5Q5V5^55555555556 66%6>6P6]6b6j6666666707G7Q7~77777777788@8d8u8888888888 999*9<9I9N9V9h9z99999999 :6:I:N:a:t:x::::::::::::4;?;Q;`;g;r;{;;;;;;;;;< <<X<c<u<<<<<<<<<=="=,=0=4=B=T=\=g=l=|==========>>>Q>V>d>>>>>>>>>>>>??4?MEMRM`MxMMMMMMMMMMNN N.NTN\NgNmNNNNNNNNNO O!O/OjOxOOOOOOOP#PHPLPZPlPtPPPPPPP QQ,Q1Q9QQQcQpQuQ}QQQQQQQQR RR8RFRhRlR|RRRRRRRRRS SS#S5SBSGSOSoSSSSST TT!TDTIT[TbTpTTTTTTTTTTTU$U/U@URU_UdUlU|UUUUUUUVV*V]F]a]s]]]]]]]^^&^8^E^J^R^|^^^^^^^^^^^_ ___&_6_C_L_Q_W_[_`_ e_k_ p_ u_{_ __ __ _ _ ___vq3{V F  *bmK-B>J""R#F%Z&N'>(()a*9+./k0 13Y7;<'===^>>>?$@@@AAUCCCCWDDEcIlL MMMN)OS)TTUUVWW`YYZ]v^^^/__ (,8<PThl (,48<@DHLP\`lp  $8<@LPT`dlpt $(04HLPTX\`dhlptx|0