ELFP44 (444888P88((( Qtd/lib/ld-linux.so.2GNU     q5j?S#C<#.@9D9H7 [H96dw4a J@ _Jv_RegisterClasses__gmon_start__libc.so.6stdoutungetcfscanfmallocbasenamefprintfstdin_IO_getcstrcmpfgetcsprintfstderrerrorfputcexitfopen_IO_stdin_used__libc_start_mainfputsfreeGLIBC_2.1GLIBC_2.0$ii ii <9@9D9H9999 9999 9 9 $9 (9,9094989U5跌58%8%9h%9h%9h% 9h%9h %9h(%9h0%9h8p% 9h@`%$9hHP%(9hP@%,9hX0%09h` %49hh%89hp1^PTRhh@QVhNkUS[wPHtЋ]ÐU=L9u-8t8ҡ8uL9ÉU8t!t$8x]UT9D$D$D9$TD$D$$!c:"u7OU|UD$D9$D$D9$D$$D9$D$@D9$D$D9$D$D9$D$D9$D$ D9$jD$`D9$UD$D9$@US)EEEEEEEEEEEEEEEEEE@9EEEEEEEEEEEEE $T9EE;E|%EE ED$E$tD$E$u ED$E$u ED$E$u ED$E${u EhD$E$[u EH}uEE:}uEE,ED$ T9D$D$D9$EE}t}t~}u}u $<}t+}t%T9D$D$D9$E}t}u%T9D$D$D9$E}tW$ED$$ @u H9EMD$"E$E}u1ED$ T9D$D$$D9$$UE$n(EE$"*EED$E$+EE܉D$$ u H9EMD$"E܉$E؃}u1E܉D$ T9D$D$$D9$b$E;Et3E؉$'EԋE؉${)EЋEЉD$E؉$V+EEEԋE$EЋEEċEЉD$E$ED$EЉ$EЉD$E$E}tj}uD9ET9D$D$=E$ED$ ED$ED$$2D$`E$d$ED$EЉ$yE}tp}uD9ET9D$D$=E$EЉD$ ED$ED$$ 2D$E$}u $-}u?}u9}t3E܉$`ËE$S\$ D$D$E$EЉD$Eԉ$KE}EЉ$EEЉ$qvEȋEȉD$Eԉ$wED$Eȉ$Eȉ$ڀt1}E܉$D$D$ E$}t$E܉$D$D$`E$aE܉$dD$ T9D$D$D9$$}t"E܉$%D$D$E$^E$E}EDž|E$EED$E$D$E$ED$E$E艅||u|x|@t|@$pDžlDžll;x~,l ptl lċ|@|bEEED$EЉ$D$EЉ$/EЉ$EE@EE@EE@EE}t E@EE}DžlDžpEЉ$wE̋ED$Ẻ$n}tD$!Ẻ$D$Ẻ$EЉD$Ẻ$dẺppu~ptp@xp@$|EEE;t~#E |xE EЋp@pw}YE$hD$D$%E$D$E$ED$ ED$ED$$;D$E$ZD$7E$GD$ ED$ED$$}=D$BE$E$‹ED$ T$D$`E$ED$ED$$b;D$E$}u}uOE$OD$D$E$ED$ED$$jD$E$[}E$D$D$E$/ED$ ED$ED$$jD$E$ED$D$E$E$D$D$E$ED$ED$ ED$ED$$RD$E$D$7E$qD$ ED$ED$$;D$BE$<}E艅lE쉅pltIpu>lEЉBlp@$B$l@lp@pD$@E$ED$ED$$TbD$E$}E܉$)D$D$`E$b}u2D$ẺD$EЉD$ EԉD$ED$$_/ED$ẺD$EЉD$ EԉD$ED$$_D$E$D$7E$D$ ẺD$ED$$_D$BE$E܉$ED$D$E$~ẺD$EЉD$ EԉD$ED$$TPD$E$CE܉$‹EЋD$ T$D$`E$EЉD$ED$$7D$E$}tOE܉$D$D$E$ED$ED$$Z`D$E$D$E$}t#ED$ ED$ED$$acED$ ED$ED$$caED$ EЉD$ED$$BaED$ ẺD$ED$$bD$E$}DžlEpE@$tttqDžll;p~WEЋ@$xlt||t| xl l뙋UЋEBE܉$D$D$E$ED$ EЉD$ED$$2ND$E$D$E$ED$ ED$D$1E$ED$ ED$D$>E$ED$D$LE$ogED$ ED$ED$$4}u}uED$ED$$c}tIED$ ED$ED$$dED$ED$ ED$ED$$L}t~E艅lE쉅pltIpu>lEЉBlp@$B$l@lp@p뮋ED$ED$$]}tg}u2D$ẺD$EЉD$ EԉD$ED$$Z/ED$ẺD$EЉD$ EԉD$ED$$pZẺD$EЉD$ EԉD$ED$$K}tED$ED$$L\}t#ED$ ED$ED$$]cED$ ED$ED$${]ED$ EЉD$ED$$Z]ED$ ẺD$ED$$^}DžlEpE@$tttqDžll;p~WEЋ@$xlt||t| xl l뙋UЋEBED$ EЉD$ED$$JED$ ED$D$^E$ED$ ED$D$^E$D$kE$ED$ED$$f1}tED$ED$$F1EЉD$ED$$,1D$kE$D$nE$oD$ ED$ED$$2}t"D$ ẺD$ED$$W}t"D$ ED$ED$$U2ED$D$rE$D$kE$D$vE$D$ ED$ED$$1}t"D$ ẺD$ED$$LW}t}uD$&#E $*}u$ED$ EED$D$"E $}u }u}t}t}tD$"E $ȼED$,D$(D$$E@ D$ E@D$ED$E@D$E@D$ED$ D$"E D$E$\}t}t}tD$"E $:D$"E $'UHEEEE@E}uD$(#E $ED$ ED$E D$E$E@EE@EE@E}u+ED$EED$ ED$D$#E $z}u }u}uED$D$*#E $IED$,E@$D$(E@ D$$E@D$ E@D$ED$E@D$E@ D$ED$ D$"E D$E$}uD$3#E $źD$"E $貺UHEED$6#E$mEE@E}u*T9D$D$<#D9$Y$譺}uD$"E $4ED$ ED$E D$E$BEEE@ E}u$ED$ EED$D$"E $ٹ}u }u}t}t}tD$"E $衹ED$,D$(D$$E@D$ E@D$ED$E@D$E@D$ED$ D$"E D$E$5}t}t}tD$"E $D$"E $UEEU:3U#ED$ ED$E D$E$ }t}t*T9D$D$`#D9$腸$ٸED$ ED$E D$E$ED$ ED$E D$E$}t}t*T9D$D$#D9$$WED$ ED$E D$E$.ED$ ED$E D$E$ $#U}u+ED$ ED$E D$E$xE@EU8}uEEE@EE@EE@EEEE;E~aEEE}t}t}tUEED$D$$E $߶ED$ ED$E D$E$D$"E $謶}upEEE}EED$D$$E $gED$ ED$E D$$tD$"E $3o}uiEEE}tPEED$D$$E $ED$ ED$E D$E$D$"E $µEE@EHU8E}u8EEE@EE@EE@ EEEE;E~EEEEEEE#EEE܃}} }t}t}E#EtB}t ED$"E $ôED$ ED$E D$E$E#E"}t ED$"E $pD$"E $]ED$ ED$E D$E$kEED$D$$E $E#EtFD$ $E $ED$ ED$E D$E$D$($E $óE#EtFD$+$E $裳ED$ ED$E D$E$D$($E $pEE@EU8ED$E$E}E@EE@EE@EUE)ЍEEEE}tg}}tx}r}t+E@D$ E@ D$ED$E $"EED$D$/$E $萲EED$D$3$E $niED$ED$ T9D$D$Y"D9$@$蔲ED$ T9D$D$6$D9$$cU(ED$E${E}E@EE@EE@$E}t}tUE)ЍE<uaT9D$D$"D9$ED$ ED$D9D$E$D$"D9$H$蜱ED$ UE)ЍED$E D$E$1ED$ T9D$D$6$D9$$7UEEE EE$EE;EuD$R$E $蕰E(D$ ED$E D$E$EE;Eu}u먃}t}t}tE D$$T$fE D$$W$SiEEEEE;EulE(D$ ED$E D$E$EE;Etƃ}t}t}tE D$$T$E D$$W$ίU8EEE@EEEE@ E}t!D$`$D9$W$諯ED$ E@D$E@D$ED$E@D$E@D$ ED$E D$E$'}t}t}tD$($E $ծ}uD$$E $躮U}u+ED$ ED$E D$E$E@EUD$$D$$$$UD$$D$$$ %UEEEE;E uGEEED$E${u!ED$ED$E$E믋EUE@EExt$E D$E@D$E@$`EEEUE@EExt$E D$E@D$E@$EEEUE@EEE8t"E D$E@D$E@$EExt&E D$E@ D$E@$E EUE@EExt$E D$E@D$E@$\EEEUEE}t3}}tj}t6}tG\E D$E$rEoE D$E$EXE D$E$EAE D$E$1E*ED$D$%D9$Ы$$EUE}u$E D$E$E E@EԋEUEEED$E$UEE}uTEEEE EE8uE;Eu EEۃ}u EE@EEEU}u7E8t E-E@EExt EE@EEEUE@EUE@BUE@EUE@BUE@EUE@ UBUE@EUE@R‰UEEEUE@EUE@ @UEEU:w`UP%E$EsE$/EcE$?ESE$TECE$tE3ED$ T9D$D$5%D9$F$蚩EUE}uE$4EE@EۋEUE}ulEEE@ EEEE;E~8EEEEtEEtEE뾋E@E댋EUE}uEE@EEÐUD$%D$%$%zUD$%D$%$%QU(EEE(EE,EE EE$EE;Eu}uD$&E $譧ED$E0$t$E0D$ ED$E D$E$A"E4D$ ED$E D$E$}}t(}u"ED$ED$&E $!E}>E;Eu }u+D$&E $EEEEE;Eu|E0D$ ED$E D$E$}t(}u"ED$ED$&E $耦E}uE;EtD$&E $Yz}t4}u.E;Eu$ED$ED$&E $UHEEEEE@E}uD$!&E $ԥED$ ED$E D$E$E@EE@E}u$ED$ EED$D$#&E $v}u}u}uD$*&E $OED$,ED$(D$$D$ E@D$E@D$ED$E@ D$E@D$ ED$E D$E$}uD$/&E $ФD$1&E $轤UHEEEE@E}uD$3&E $~ED$ ED$E D$E$E@EE@EE@E}u+ED$ED$ EED$D$5&E $}u }u}uED$D$?&E $ߣED$,ED$(D$$D$ E@D$E@D$ED$E@D$E@ D$ ED$E D$E$z}uD$H&E $`D$1&E $MUXEEEEEE@EEEE@ EE@EE@EE@EE;EuyEEE}uD$!&E $跢ED$ ED$E D$E$}u%ED$ EE@D$D$#&E $l}uD$*&E $S}u}ufED$,ED$(D$$D$ E@ D$E@D$ED$E@D$E@D$ ED$E D$E$}u!}u}uD$&E $踡ED$ ED$E D$E$f}uD$/&E $D$1&E $lzUHEEEE@E}uD$K&E $(ED$ ED$E D$E$4E@EE@EE@E}u+ED$EED$ ED$D$5&E $躠}u }u}uED$D$M&E $艠ED$,ED$(E@$D$$E@ D$ E@D$E@D$ED$E@D$E@ D$ ED$E D$E$ }uD$V&E $D$1&E $UEE}tR} }t}td}ED$ED$ ED$E D$E$xED$ED$ ED$E D$E$^ED$ED$ ED$E D$E$5ED$ED$ ED$E D$E$ $Y&9U}u2ED$ED$ ED$E D$E$E@EU8}uEEE@ EE@EEEE;E~yE@EEEEEEEEEE}uEt"EEE܃}t }t|ED$D$k&E $}t"ED$ ED$E D$E$ ED$ ED$E D$E$D$w&E $葝uED$D$z&E $u}t"ED$ ED$E D$E$ ED$ ED$E D$E$[D$1&E $EEE؃}t }t|ED$D$&E $ۜ}t"ED$ ED$E D$E$ ED$ ED$E D$E$D$w&E $耜uED$D$&E $d}t"ED$ ED$E D$E$ ED$ ED$E D$E$JD$1&E $ EzE@E9U8EEE0EE4EEEEEE;EucED$E8$(u"EE;Eu }u+D$&E $bEEE EE;Eu)ED$E8$賹}@t_ED$E8$蠸EE@$EE@EE@D$ EU)ЍED$E D$E$FE8D$ ED$E D$E$o"EED$D$'E $}uE D$$' E D$$'ED$ ED$E D$E$P}uE D$$w&轃}uE D$$'袃E3E@EE@EE;Eu}uE D$$'_ED$D$'E $}uE D$$',E D$$ 'ED$ ED$E D$E$q}uE D$$w&ނ}uE D$$'ÂE3U(EEEE}u7ED$EED$ ED$E D$E$E@EE;E|E D$$"'D}uE D$$'+ED$D$'E $EE;E}}uE D$$'E D$$ '؁o}uD$w&E $芁}uD$'E $oÐUD$@'D$Q'$n'蚤U }uNEEE@EE ;E~*EE9E MUE )Љ‰)AEE@ EEEUS$$܀EEE}u*EEE@EE@EU)$薀EEUEUEBUEBEE;E~U)EE܋EE@E@E@ E@E@E@EE<tE܋U܋R PEoE@Et ]$C E@ EE@ E$[]U8EEE E}uMEEEEE؃}t<} }t}t;}E@EEEE@EEEEEE@EE@EE@EE;EurEEED$E $fEE@ uEE뿋E@EEE(ED$D$'D9$b~$~}t'ED$E $EE@ uEE@E}u~EEE@EEEE;E~GU)EEE8t%E$}EUEBUEBE믋E@ EzEE}ueEEEEEԃ}t<} }t}t;}E@EEEE@EEEEEE@EE@EE@EE;Eu~EEED$E $E܋E܋@ uU܋BEBE볋E@E܋E܋E(ED$D$'D9$q|$|}t3ED$E $E܋E܋@ uU܋BEBE@EUE}t4EE}t&E ;EuEE@ EtދEEԋEU(E;E uEEED$E$$ZEE@EE@ uQMUE BA}u*E$D$E D$ ED$ED$E$ EUE;}UEEfUHED$E$EEE EUEBED$ D$D$E$ ‹EE@EUE;BrAEEEEEE}tA} }t}tI}tbE@EE@EE@ EE@EE@ EE@EfE@EE@EE@EGE@EE@ EE@E(ED$D$'D9$y$*zED$ED$D$ED$ED$ E D$ED$E$EE܃}tA} }t}tI}tbE@EE@EE@EE@EE@EE@EfE@EE@EE@ EGE@EE@EE@E(ED$D$'D9$x$yED$ED$D$ED$ED$ E D$ED$E$EE@;EED$E$4@EEED$ D$D$E$蓚‹EUEB UEBUE@BE;Eu^ED$E$EUEB UEBUE@BED$ D$D$E$‹E똋EU8EE}uEEE@EEEE;E~cEEEMU)AEE@ u0Exu'ED$ED$ E D$ED$E$E듋E@ E[UE EE;EupED$E$dEE@ uD}tUE;B u3E9ED$D$'D9$dv$vEEEUHEEE}uEEE@EEE}E;E~EEEMU)AEE@ EE@EEE@ t6E@E؃}#UE;BrE؋EԋEԉẼ}to} }t}}E؋@EЋED$ EЋ@D$EЋ@D$E$<EE؋@EЋED$ EЋ@D$EЋ@D$E$tNEEE options: -h or --help -- print help message --version -- print version information -v -- verbose mode (human readable) -c -- classical equivalence -s -- strong equivalence; excludes option -c, but presumes classical equivalence to work. -h--help--version-v-c-s%s: unknown argument %s %s: option -c makes no sense given -s! %s: missing input file -r%s: cannot open file %s %s: atom does not appear in the second program! does not appear in the first program! %% Symbol tables of '%s' and '%s' match. %% Program '%s' is stratifiable. %% Program '%s' is not stratifiable! %s: program %s is not stratifiable! %% Program '%s' does not contain invisible negated atoms. ''''''%% Program '%s': compute { }. %% The symbols of '%s' (%i symbols): %% Rules to enforce classical models for '%s': %% Select a submodel of '%s': compute { not _%i }. %% Program '%s' translated: %% Inclusion of the submodel: %% Invisible part of '%s' translated: %% Check if the least models differ: %% Rules for checking the compute statement of '%s': %% Internal conditions: _%i :- _%i. _%i :- _%i. compute { _%i }. 1 %i 1 0 %i 0 B+ %i B- $Revision: 1.7 $$Date: 2005/10/25 12:12:44 $$RCSfile: atom.h,v $$Date: 2005/03/04 11:33:37 $$RCSfile: atom.c,v $File []: $Revision: 1.2 $$Date: 2005/03/04 11:37:29 $$RCSfile: io.h,v $$Revision: 1.16 $$Date: 2005/07/13 08:33:34 $$RCSfile: input.c,v $%s: %s %ibasic rule, missing headbasic rule, missing literal countbasic rule, missing negative countbasic rule, invalid positive countbasic rule, missing negative literalconstraint rule, missing headconstraint rule, missing literal countconstraint rule, missing negative countconstraint rule, missing boundconstraint rule, invalid positive countconstraint rule, missing negative literalchoice rule, missing head countchoice rule, missing head atomchoice rule, missing literal countchoice rule, missing negative countchoice rule, invalid positive countchoice rule, missing negative literalweight rule, missing headweight rule, missing boundweight rule, missing literal countweight rule, missing negative countweight rule, invalid positive countweight rule, missing negative literalweight rule, missing weightunknown rule typeerroneous basic ruleerroneous constraint ruleerroneous choice ruleerroneous weight ruleminimize statements not supportedʹNmissing symbol table entry%asmissing symbol namemissing (positive) compute statementincomplete (positive) compute statementincomplete compute statementmissing (negative) compute statementincomplete (negative) compute statementmissing number of modelsclause, missing literalp cnf %i %i DIMACS cnf format: missing/invalid problem linev%iunsat$Revision: 1.17 $$Date: 2005/05/12 11:07:15 $$RCSfile: output.c,v $NULL_%i %iint%i%s: unknown style %i for _%i %s: entry _%i out of table *}**%s: missing cross reference for not =%i1 %i %i :- , .2 %i %i %i :- %i {}.3 %i{ | v }5 :- %i [].unsat%s: atom unsat not in table %s: constraint rules are not supported by gnt nor dlv! %s: weight rules are not supported by gnt nor dlv! unknown rule type8]%% _%i = %i c %i %i :- not . :- a%i%i%s: entry #%i out of table - | %s: only clauses are supported by cnf routines! 0 $Revision: 1.4 $$Date: 2005/10/25 12:10:17 $$RCSfile: rule.h,v $$Revision: 1.6 $$Date: 2005/10/25 12:09:56 $$RCSfile: rule.c,v $unknown rule type %i! %s: unknown rule type %i! $Revision: 1.2 $$Date: 2005/10/25 12:09:26 $$RCSfile: translate.h,v $$Revision: 1.12 $$Date: 2005/10/25 12:09:14 $$RCSfile: translate.c,v $not =%i, %i1 %i %i :- . 2 %i %i %i :- %i {}.5 :- %i [].unknown rule type_%i :- not . 1 %i 1 1_%i :- 1 %i 1 03 %i{}%i 1 0, not 1 %i 2 1{ }. 3 1 0 0 } :- %s: only clauses are supported by cnf routines! v%i | - 0 -$Revision: 1.3 $$Date: 2005/10/19 20:17:39 $$RCSfile: scc.c,v $compute_references: unsupported rule type %i! in_scc: missing reference for atom %i! 8$ 4 0H` 8x oloo>8br…҅"2BGCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-12)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13)GCC: (GNU) 3.3.5 (Debian 1:3.3.5-12).shstrtab.interp.note.ABI-tag.hash.dynsym.dynstr.gnu.version.gnu.version_r.rel.dyn.rel.plt.init.text.fini.rodata.data.eh_frame.dynamic.ctors.dtors.jcr.got.bss.comment (( !HH' p/``7o>>.Doll0S  \ x e44`LLkPPq00w`` 8 888888L@9@@.