ELF`/4( ~cu ee s vEu&uE0u& ~pu ee s vEu&uEu&E;CTrI;{\w:GCdGPVS t&EGEECtc&fE;CTrI;{\w:GCdGPVS t&EGEECtc&fE;CTrI;{\w:GCdGPVS t&EGEECtc&fE;CTrEQXc ;{\wGwEweCt C E;CTrEuFEEXcf 0;{\wKGԔEG܃~BGGԉGGwGGGGԉGEweCt0cGGԉGGGԉGGwGGEwev sEeFEvE(&fE;CTruEhu&\c ;{\w~}"FHGweCtcFHGwefuEu& ;{\wGwEweCt C E;CTrEuFEELcf FEEavE;CTr!EuvEu&cX FEEYvXE;CTr!EuvEu&cT$;{\w2GEGGGGG8GGEweCt$hcv ;{\wGwEweCt C `E;CTrEEEKtcvE;CTrEuFEcE;CTrEuFEEcfE;CTrEuFEc $;{\w;~u?GhEGGEGGGGGw eCt$cGwEGGEfB s1;{\wGG<EGGGGw eFEvE1&Ctc uE@u& sھ ev suEu&f E;CTruEu&|cpE;CTrEcE;CTrP;{\wAGCdGPVS t-EGEEECtc&vE;CTrP;{\wAGCdGPVS t-EGEEECtc&vE;CTrEuFEwc u s e ;{\w'GH FGEFEEp Ct cfE;CTruE u&c ;{\w.GEGFGGFGGweCtcE;CTr'EuF EvE u&cf  ;{\w(GP EGFGGGweCtcf EEu u wv E EFEEEE v s u&FEvE u&f  E;CTr"uENME u&cv ;{\w.GEGFGGGGFweCtcE;CTr'EuFEv E u&cf  ;{\w(G FGEGGGweCtcf EEu u wv E EFEEEE` v s u&FEvE| u&f  E;CTr"uENME u&cv u uuE f ;{\w]G EGG\ GGG EGG GFEFEwEEGEE0 7Ct c FEvEL i&vB s u &FEvE u& E;CTruE u&cE;CTrP;{\wAGCdGPVS t-EGEEECtc&vE;CTrP;{\wAGCdGPVS t-EGEEECtc&v< uEf<E;CTrEuFEE0cfE;CTrEuEFEcf0 s u&f0 s FEvEu&0 uEfaE;CTrA ;{\w2EuGFGEEE0Ct cE;CTrEuEFEcf0 s u&f0 s FEvEu&0 uEfaE;CTrA ;{\w2EuGFGEEEPCt c as 0&$;{\w5GPEGGpEGGGGGweCt$cf aE@uEv auEuE4 s FEE\E;CTr&EuFEEEcvL uEufL uEEvL uEEv s &FEEDDE;CTr!EuvElu&cE;CTr*EuF;FtF@N MvEce s e8;{\wZGEGԋFG؋E G܋EGGEGGGGFGGGGG̉weCt8cv  E;CTr&uENME D&cv uEf` ;{\w3FH193GwEEEiCtc&v`E;CTr%EuvE q&cC seFM UD E E M U RE@NM uEf  E;CTr.E;Ft)uENMEh&cec ;{\w>E E GMOGGOOGEweCtfc ;{\w1G wEE Eu wEET#Ct C " |uCE &f FHE19~1봍p  E;CTrFEvE@u&cE;CTr9 ;{\w*EuGlFGF GECt c E;CTrFEEcC seFM UD E E M U RE@NM uEf  E;CTr.E;Ft)uENMEh&ceE;CTr*EuF;FtF@N MvEce s e8;{\wZGEGԋFG؋E G܋EGGEGGGGFGGGGG̉weCt8cv  E;CTr&uENMED&cv u EEuE( uEEv EuEEE Kv u\ uEE`vTE;CTrN;{\w?Eu1;F 8GF GEFEEE0CtcFEEEtc ;{\w>E E GMOGGOOGEweCtfTc ;{\wDGwEGGE GEu wGEEECtC " |uCE| &f FHE19~1봍p묤 E;CTrFEvE u&cE;CTr9 ;{\w*EuGLFGF GECt c E;CTrFEEc ;{\w6GwEGEGEGE GEGEweCt C vxE;CTx;{\EuGPFGGGGGGGGGGGGGGpGGGԠGG܍GGGGԉGGGGGGGGGȉEGEGEGEGEECtxcf ;{\wG\7weCt C v uEPf`E;CTrEEEEcvE;CTrI;{\w:GCdGPVS t&EGEECtc&f! EEFEv! vE\u& ENMExu& vEu& uEu& ;{\wF@GweCtcfE;CTr!EuvEu&c;{\w(G( EGGEGGweCt cE;CTrW;{\wHGCdGPVS t4EGEEEECtc&E;CTrI;{\w:GCdGPVS t&EGEE$Ctc&f8E;CTrP;{\wAGCdGPVS t-EGEE4E$Ctc&vhE;CTrEuFE$c` E4uf` EFEEE"` vE4"u&`E;CTr!EuvEd"u&c` s ^e$;{\w5G!FGG"FGGGGGweCt$c\uE"u&E;CTrI;{\w:GCdGPVS t&EGEE(Ctc&fE;CTrI;{\w:GCdGPVS t&EGEE,Ctc&fE;CTrEuFEE!cf ;{\wF@GweCtcE;CTr!EuvE8$u&c s u &4;{\wNGEG؋FGGh$FGGFGGGGGGGЉw eCt4cv E;CTr&uENME$P&cv u s &;{\wGGEGEGGGGGEFEFEE\%Ctc s &FEFEEp%f uE%f uE,&f uEEL&v ;{\w1G$FGG %GFEwEl&SCtc s  eFEENME&v E;CTr"uENME&u&cv uE뻍vE;CTrH;{\w9EuG,'FF HOMEEEd'Ctc u ;{\wOG'EGFGGGGGEEFEEE'CtcvE;CTr+EuF EvE'_&cf u ;{\wOG`(EGEGGG GGEEFEEE(Ctcv FEFEv E(k&E;CTr!EuvE$)u&cE;CTr: ;{\w+EuGX)FGEECt cv s u &;{\w&GEGFGEFECtcv E;CTr&uENME)x&cv9E;CTrD;{\w5EuG)FGG<*GwE{Ctc E;CTrEEFEc ?E;CTrC;{\w4G|*EGG*GGEEEECtc ll00XtX Lt ,\0@X??$$    ?? ` !$4x!L4\x(#D##xThis is not a CNF filecnfp cnf c c SAT instance in DIMACS CNF input format. GHC 7.4.2.symtab.strtab.shstrtab.rel.text.rel.data.bss.rodata.note.GNU-stack.comment4u+ |^ )+% ox /.4.X</L0/  /U@10  pF  l!+0+5 >KU_+ivV(0lV@VPX0\$X3*"h:,`90CFMdVhctImL3w*,8,pt %3|'<#h*#n@c&0:CPLZgtt]] $H p  N,' @P 2% :/ 9\ -C !M 2W @a 2k :u`  -| ! 2 0 L o ! /\]]BpLV0`P*jt*~"40PL*"4PpL^4\, 1(D2l,<,F@P1Z dn Uxp0V ?TRL*@l(D V?@1",6 @0%J`Tt^xhRr|_|* L(D Q\P-BOVYb o|\x ` ?*( ,$ d4 !V$D&L3x!]=\JlSx`(#j!#t"~4"#d"","\D#V(#V,  P $*Z 8$(d h$,n $ux %1 \% p%p %2 ,& L& l& &C &5 ,'- d'  'S ' 'a `(6 ( (a" $)', X),6 )E@ )MJ <*1T |*O^ *h    * L Z q x      0 R \ o       . N q     3jS7b2|{,0]1f&Tz/T}V +S8_p+rrH9_srtrrH9_closurerrH9_infosrTC_infosrTA_inforrHa_srtrrHa_closurerrHa_infosrTy_infosrTw_inforrHb_closurerrHb_infocrWL_strrrHc_srtrrHc_closurerrHc_inforrHd_closurerrHd_infocrXx_strrrHe_closurerrHf_closurerrHf_inforrHg_closurerrHg_infosrUl_infosrIk_infosrIs_infosrUc_inforrHh_closurerrHh_infosrTu_inforrHi_srtrrHi_closurerrHi_infosrTp_infosrJ4_infosrTq_infosrTl_infosrTs_infosrTm_inforrHj_srtrrHj_closurerrHj_infosrTk_inforrHk_closurerrHk_infosrST_infosrU8_infosrU9_infosrJA_infosrU5_infosrJF_infosrUa_infosrUb_inforrHl_srtrrHl_closurerrHl_inforrHm_closurerrHn_closurerrHo_closurerrHp_closurerrHp_inforrHq_closurerrHr_srtrrHr_closurerrHr_inforrHs_closurerrHs_infosrU3_infosrU4_infosrU2_inforrHt_closurerrHt_infosrTU_infosrTN_infosrKp_infosrTT_infosrKC_infosrTY_infosrTX_infosrTZ_infosrTP_infosrKR_infosrTS_infosrL4_infosrU1_infosrU0_infosrTR_infosrTQ_infosrTV_infosrTW_infosrTL_inforrHu_closurerrHu_inforrHv_closurerrHv_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile1_srtcrUQ_srtdcrV1_srtdsrS8_infosrLs_infocrV6_srtdsrLP_infosrSN_infosrSM_infosrSy_infosrSE_infosrLD_infosrSP_infosrSO_infosrSB_infosrSF_infosrSL_infosrSx_infosrLz_infocsdR_srtdsrSK_infosrM0_infosrSt_infosrMl_infosrMj_infosrSS_infosrMn_infosrSb_infosrON_infosrSY_infosrS9_infosrT0_infosrSq_infosrT2_infosrO7_infosrOd_infosrT4_infosrOm_infosrT6_infosrOq_infosrOs_infosrSr_infocrVd_srtdcrVh_srtdsrT9_infosrMQ_infosrSj_infosrN8_infosrTe_infosrSh_infosrSg_infosrNd_infosrNg_infosrSo_infosrNj_infosrSm_infosrNo_infosrTb_infocsmF_srtdsrNx_infocsmQ_srtdsrTd_infosrNB_infosrND_infosrSs_infosrTj_infosrSH_infocsol_srtdsrSI_infocsow_srtdsrSJ_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile_srtrrHw_closurerrHw_infocsp1_strrrHx_closurerrHy_closurerrHz_closurerrHz_infosrS2_infosrS3_infosrS4_infosrS5_inforrHA_closurerrHA_infosrS1_infosrRV_inforrHB_closurerrHB_inforrHC_closurerrHC_infocsrr_strrrHD_srtrrHD_closurerrHD_inforrHE_closurerrHF_srtrrHF_closurerrHF_infosrTG_infosrTF_infosrTJ_infosrTK_infosrTH_infosrTE_inforrHG_closurerrHG_infocstE_strrrHH_closurerrHH_infocsu4_strrrHI_closurerrHJ_closurerrHK_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF1_srtsrQs_infosrRX_infosrQF_infosrRW_infosrQI_infosrRE_infosrRZ_infosrRY_infosrRz_infosrQO_infosrQM_infosrRT_infosrRL_infosrR2_infosrRy_infosrRa_infosrRG_infosrRM_infosrRd_infosrRI_infosrRN_infosrRO_infosrRg_infosrRh_infosrS0_infosrRq_infosrRs_infosrRK_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF_srt__stginit_combinatorialzmproblemszm0zi0zi5_FileFormatziSATLIBbase_GHCziList_badHead_closureghczmprim_GHCziTypes_False_closureghczmprim_GHCziTypes_True_closurestg_ap_0_faststg_CAF_BLACKHOLE_infonewCAFstg_bh_upd_frame_infoghczmprim_GHCziCString_unpackCStringzh_infobase_GHCziErr_error_closurebase_GHCziErr_error_infoghczmprim_GHCziTypes_Izh_static_infobase_GHCziBase_plusInt_infoghczmprim_GHCziTuple_Z2T_con_infostg_gc_utstg_upd_frame_infostg_sel_1_upd_infoghczmprim_GHCziTypes_ZC_con_infostg_sel_0_upd_infoghczmprim_GHCziTypes_ZMZN_closureghczmprim_GHCziTypes_Izh_con_infobase_GHCziBase_map_infobase_GHCziList_reverse_infobase_TextziRead_zdwread_closurebase_GHCziRead_zdfReadInt2_closurebase_TextziRead_zdwread_infoghczmprim_GHCziTuple_Z2T_static_infoghczmprim_GHCziTypes_ZC_static_infobase_GHCziEnum_eftInt_infobase_TextziRead_read3_closurebase_GHCziRead_zdfReadInt3_closurebase_TextziParserCombinatorsziReadPrec_minPrec_closurebase_GHCziRead_zdfReadInt3_infobase_GHCziBase_zpzp_infobase_DataziList_words_infobase_DataziMaybe_Just_con_infocontainerszm0zi5zi2zi1_DataziIntMapziBase_zdwupdateWithKey_infocontainerszm0zi5zi2zi1_DataziIntMapziBase_Nil_closurecontainerszm0zi5zi2zi1_DataziIntMapziBase_fromList1_infobase_GHCziArr_zn_closurebase_GHCziArr_arrEleBottom_closurebase_GHCziList_tail1_closurebase_GHCziList_znznzusub_closurebase_GHCziIOziHandleziText_hGetContents1_closurebase_GHCziIOziHandleziFD_openFile1_closurebase_GHCziArr_zdfIxInt_closurebase_GHCziArr_negRange_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_infoghczmprim_GHCziClasses_zdfEqZMZNzuzdczeze_infostg_MUT_ARR_PTRS_DIRTY_infostg_MUT_ARR_PTRS_FROZEN0_infobase_GHCziArr_Array_con_infostg_gc_noregsstg_newArrayzhbase_GHCziST_runSTRep_infobase_GHCziArr_zn_infocontainerszm0zi5zi2zi1_DataziIntMapziBase_elems_infobase_GHCziList_zzip_infocombinatorialzmproblemszm0zi0zi5_CombinatorialOptimisationziSAT_SATProblem_con_infocombinatorialzmproblemszm0zi0zi5_CombinatorialOptimisationziSAT_zdwsatproblem_infobase_GHCziIOziHandleziText_hGetContents1_infobase_GHCziIOziIOMode_ReadMode_closurebase_GHCziIOziHandleziFD_openFile1_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_loadCNFFile_infoghczmprim_GHCziTypes_Czh_static_infoghczmprim_GHCziClasses_compareIntzh_infobase_GHCziShow_zdwshowSignedInt_infobase_GHCziList_init2_closurebase_GHCziIOziHandleziText_hPutStr1_closurebase_SystemziIO_appendFile2_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF1_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF1_infostg_ap_2_upd_infobase_GHCziList_init1_infobase_GHCziList_concatzugo_infobase_DataziList_sortBy_infostg_ap_p_fastbase_GHCziIOziHandleziText_hPutStr1_infobase_GHCziIOziIOMode_WriteMode_closurebase_SystemziIO_appendFile2_infocombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF_closurecombinatorialzmproblemszm0zi0zi5_FileFormatziSATLIB_saveAsCNF_info$;M\r+9F` ;Hc (5 Bu z   6W,CPd*Gs Ubn  "4<Wd   % S        & [ n    = u     ' :    9 W d q ~   :Lo   $6D[k|&'$6Dcm&'3DVd(7APlx" )8JQ`w  + @_ l!-;Rd{1-a2k x3&%4\$>1  0O \o;Ihz)23 @3Gp%<`t$:Pw ,D[=)-:~  3 @ k x       '!7!E!R!l!!!!!!!!""("7" K"X"j"x""""""""#.#W#g#u######$$G$ s$$$I$$$9%d%{%D%I%%%%%D& &2&@&R&`&r&y&&&&&&&  ''E't''''''(('( ;(T(k(~(((((( ()6)L)c)p)))))*IU*p*******+,+D+OX+G`+CNC{ % X  _- t    >+s,->./-#^./I0t-+  Y 4!56 78!d899j4567I4;y<>*BiB CZ!!""S"C##'$ `%%J&J:&K&L'M''C(C()C)**NL+Pq+H (,0@PX\`dhpt|    $(!,"0#4$8%<&@'D(HLPTX\`dhlp|*)@ AA $4DHL\`d lptx DEFHGR