ELFP4,4 (444LyLy$l((( Qtd/lib/ld-linux.so.2GNU    0W%O )}5Be<c"6^sHCx3~Dl __gmon_start__libc.so.6putcharprintfsystemfeofmallocfseekfreadmemsetisalnumstrcmpfclosestderrfwriteexitfopen_IO_stdin_used__libc_start_mainfputsfreeGLIBC_2.1GLIBC_2.0ii ii        $(,0Ual5%%h%h%h%h%h %h(%h0%h8p% h@`%hHP%hP@%hX0%h` % hh%$hp%(hx%,h%0h1^PTRhhLQVh_US[czRtX[ÐU=t HҡHuÐUtt $ÐU(EE$@EEE@EEB}u1D$ D$D$$H$E$teMUED EEEB}$t}*uʀ}*u E@< E@<UEDEER}-tD$E$‹ED$E$‹EPUEBE@ EEEU}tE$E@$U}E@$u$E@,d$u $(E$E@$E@$E@$[u$E@,d$Cu $)CU}t-E$E@$E@$USE}EE D$$E%؉M UEDCEEUDűE@}EE@$Qu E @D$$d$EEEUEE@EEEu$85EE@4EMEEEEEEE$uЋEEEE<(u7MEEEEEEE<)uۋUE)EEEUE`E&EUD$$(uEE@4E}uԃ}u0dtdUP4EdE``dEEEEEuEEPEEME;E}EEnEEEeEEEgEE<~u EE-EEEUEE<-ubE@<>uWEEEEuEEPEEM}yEtE@rEuEeEEEEuEEH<>uCEEfEE@aEElEEsEEeEEU(D$D$$#D$D$$EEEE}~-EE<(u EEH$tEEE<)u }tEEE<,u}u EƄ&-EE<;u EƄ|UEEEEE<:REƄEEE<-t E @D$$$E}~-EE<(u EEH$tEEE<)u }tEEE<,u}uEƄ&EE9EE<;uEƄ|EEUEEEEEECEƄEEUEEEuًEE-EEE>EEEUEEEEu֋EEUWdEE}2EEEEEED$$ZE}u$$ D$$%E}u$`$EED$ D$D$E$KE}uVE$t/E$x$$ $d$.$LE<{lEE<{tE$mtJEEED$ D$D$E$0E}u$K[$ED$ D$D$E$ME}u;$.E$}$$ $iUEDEE$uMEDE$tHEEEDuEEE@UTTM}yEDE-E$/EQEDEED$ D$D$E$E}u$K$xEEDuE<((EEED$ D$D$E$oE}u$K$ED$ D$D$E$E}u$hW$E<)gE)ED$ D$D$E$E}u$K$xED$ D$D$E$E}u$$5EE,ED$ D$D$E$HE}u$Ks$E ED$ D$D$E$E}um$K,$E<(uMCED$ D$D$E$E}u$$SE<)uE<}}tEEHEEHugEEH<-t E @D$$$EEH:EEEUEE@EEEuMEEEU}tmE$t2Eu E@tE D$$^$rEE D$$EPE D$$UEE EEki,7Ei,ƀ7bEi,ƀ7aEi,ƀ7rEi,ƀ7:Ei,ƀ7-Ei,ƀ7nEi,ƀ7oEi,ƀ7tEi,ƀ7 EEki,7Ei,ƀ7.Ei,ƀ7E@EPEE49EUEEEEEk:Et%E49E|UE숂k4@4USTEEEEEEEEEEEED$$mE܃}u$$pEq EE/ŰMЍ(EE|ŰMЋ]Ѝ(EE<^uE*E܉D$ D$D$Eˉ$E}u$$IEЋŰMЋ]Ѝ(UE|E܉D$ D$D$Eˉ$1E}u$\$E̋E;EEŰMЍ@Q{EE$8EE@4EŰMЋ]Ѝ@QEE<^uE*E܉D$ D$D$Eˉ$:E}u$e$MUˋEEЋŰMЋ]Ѝ@Qt/ŰMЋ]Ѝ@Q<(EbE܉D$ D$D$Eˉ$E}u$$(EaE܉D$ D$D$Eˉ$BE}u$m$ErE܉D$ D$D$Eˉ$E}$"$ŰMЋ]Ѝ@QEE<^uE*E܉D$ D$D$Eˉ$~E}u$$MUˋEEЋŰMЋ]Ѝ@QHEЋUhEFM@QỦЍUD$$u EE@4E}u}u'ltlEB4EhElE|E܉D$ D$D$Eˉ$kE}u$$ E̋E;EF}tEE;EGEEE`M yUЍËMyUЍ\$$hu EEE ;E}u2UMЍyt EgEE;E5E-EE`M @QUЍËM@QUЍ\$$葺u EEE ;EE`M yUЍËM@QUЍ\$$u EEE ;E}u/UMЍ@Qt EEE;EEE$[]UWVSE}EE_} MEE܋] UuFЉiÀ,cB ȉiǀ,EcB EM U]Љi,cB mEE_} MEE] UuFЉiÀ, ȉiǀ,E EM U]Љi, m[^_]US4EEEEEEE\EbpEEM(U܉Ѝ‹ED$$軷uIE$t$gܷ$PU܋MЍ(EsMUЍËM(U܉Ѝ\$$u"U܋MЍ(EE;E{E܋E;EEMyU܉Ѝ‹ED$$荶uIE$Rt$g讶$"U܋MЍyEyM@QUЍËMyU܉Ѝ\$$u"UMЍ@QEE;EuE܋E;EEEE;EtvM(UЍËM(U܉Ѝ\$$'u"UMЍ(EE;EmE܋E;ELEMU܉Ѝ‹ED$$蟴uCE$dt$g$4U܋MЍEoE;EtdMUЍËMU܉Ѝ\$$uUMЍEE;EE܋E;EEEE;EtvMyUЍËMyU܉Ѝ\$$Mu"UMЍyEE;EmE܋E;ELE!M@QU܉Ѝ‹ED$$迲uIE$t$g$TU܋MЍ@QEE;EtvM@QUЍËM@QU܉Ѝ\$$u"UMЍ@QEE;EmE܋E;EEEM(UЍËMyU܉Ѝ\$$VuDUMЍ(U܋MЍyEE;ESE܋E;E2EEMUЍËM@QU܉Ѝ\$$肰u>UMЍU܋MЍ@QEE;E_E܋E;E>EEMUЍËMyU܉Ѝ\$$贯u>UMЍU܋MЍyEE;E_E܋E;E>EE}94[]U(EE\EbEkUMЍ(tBM(UЍ‹ED$$谮t EEE;EE_UMЍt>search.results 2>.dlv_parser_outputcat .dlv_parser_output | grep parser > .temp.tempparser error at line %d ˞ wy˞˞missed some predicate subs This tool can support only 52 different predicates or atomsillegal character in line %d .dlv_input.lpopening dlv_input failedwriting to dlv_input failedseek failedwriting neg atoms failedfalsetrueexpression evaluates to falseoh no its NULL--pl--folformat - f2lp filenamefile open failedread failed hereseek failed after notreading eol failedFailed to create FStar Invoking DLVdlv .dlv_input.lp > .dlv_output  $HL xho8oo 6FVfvƅօ&6F abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZGCC: (GNU) 3.4.6 20060404 (Red Hat 3.4.6-2)GCC: (GNU) 3.4.6 20060404 (Red Hat 3.4.6-2)GCC: (GNU) 4.1.1GCC: (GNU) 4.1.1GCC: (GNU) 4.1.1GCC: (GNU) 3.4.6 20060404 (Red Hat 3.4.6-2).symtab.strtab.shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.eh_frame.ctors.dtors.jcr.dynamic.got.got.plt.data.bss.comment#(( 1HH7 `?LLGo  ,To880c hhl xx up  0{PPk$$r@@rHHy܀T@@X j U 5 ,(HL 8hx   P $ @H@t *8ETH[ qІ } H @B b@b8 x)(|):)@BF& QsI ^ l b=po y^ ; ' b=  C[ L %Z  @'4* 17b=7AcB b=E? Qx[lpvDB Muc |}O   | .&. 9& E] TX`4arl>{ Q P   Z I cR  "d/ b=8  EC) M` dLR t  b=)J kd0@ 6$  Ւ + : ?`L`hm4rŋ% z4$lC `ub=@( 3T D.l < I[l@y; D  Tp + t;  call_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__completed.5609p.5607__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_auxf2lp.cindex_inconindex_inorderinfix.2580index_star.5237star.5236ret_val.5321and_flag.5320index_concat.5352result.5351add_dollarconvert_origeliminate_impnegtoPrefixcan_dropparse_dlvruleposprimefeof@@GLIBC_2.0_DYNAMIClineindexsimplify_clausecheck_entailmentget_subs_indexdlv_indexstrcmp@@GLIBC_2.0inorder_savedistribute_fp_hwform_starrulescnf_indexposconvert_impprev_node__fini_array_endroot_node__dso_handle__libc_csu_finidlvRulesisalnum@@GLIBC_2.0putchar@@GLIBC_2.0root_prefixsystem@@GLIBC_2.0prefix_to_treetobeSubsputs@@GLIBC_2.0_initparse_displaymalloc@@GLIBC_2.0concat_strconvert_negremove_literalcnfalphabetfread@@GLIBC_2.0prev_baratomstderr@@GLIBC_2.0check_expfseek@@GLIBC_2.0check_cnf_startoutermost_connconvert_nnfadd_barrulefputs@@GLIBC_2.0add_baratomget_predicate_indexindex_prefixprev_negatomnegprimeclause_falsepostfix__fini_array_startpop__libc_csu_init__bss_startadd_tfmainCnf__libc_start_main@@GLIBC_2.0parse_exp__init_array_endbarAtomno_of_linesdata_startprintf@@GLIBC_2.0_finiremove_clauseconvert_arbfclose@@GLIBC_2.1simplify_linesprcdroot_negatom__preinit_array_endroot_baratomsubsisemptyexit@@GLIBC_2.0no_baratoms_edata_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_endmemset@@GLIBC_2.0inorderfinalrulesorigfopen@@GLIBC_2.1__init_array_startform_cnf_IO_stdin_usedinorder_printnegated_atomfwrite@@GLIBC_2.0no_of_predicates__data_startinorder_print_nobrfol_to_prop_Jv_RegisterClasses__preinit_array_starttransform_dlvpushup_nodecan_writealphabet_count__gmon_start__