ELF 44 (444  4L  ((( Qtd/lib/ld-linux.so.2GNU     h5a?J#C<#.4!v8!H}͘7 R‹E E @E܋E @ EEE;E~ME$$}EԋED$D$0Eԉ$E U܋Eԉ E멋EE܃5EE؃EÐUD$@D$R$onU}tED$E$} tmE 8(t&E 8uED$E $E ҃}tED$E$E 8uGED$E $E D$E$D}tED$E$\U(ED$E$E}HE@EE@EE@EUE)ЍEE}E}t+E@D$ E@ D$ED$E $EED$D$E $lEED$D$E $J}t+E@D$ E@ D$ED$E $1EED$D$E $iED$ED$ H!D$D$8!$$ED$ H!D$D$8!$$U(ED$E$8E}E@EE@$EE@E}t}tUE)ЍE<ubH!D$D$8!$ED$ ED$8!D$$D$!8!$$$ED$ UE)ЍED$E D$E$h1ED$ H!D$D$8!$k$U(EEE$EEEE$EE EEE EE;Eu}t}t}tD$#E $E(D$ ED$E D$E$}t(}u"ED$ED$(E $E}t}t }t_E;Eu }uLED$E $\5EEEEEE;EuE(D$ ED$E D$E$}t(}u"ED$ED$(E $E}t}t}t뉋E;EtED$E $j}t4}u.E;Eu$ED$ED$E $wU8EEEEE@E}uD$,E $/ED$ ED$E D$E$E@EE@ E}u$ED$ EED$D$.E $}u}ur}t}t}tD$5E $ED$ D$E@D$ED$E@D$ED$ D$:E D$E$}t}t}tD$=E $*D$!E $U8EEEE@E}uD$?E $ED$ ED$E D$E$E@EE@EE@E}u+ED$ED$ EED$D$AE $j}u}uk}uED$D$KE $E;Eu }u+D$E $EEEEEE;Eu|E$D$ ED$E D$E$}t(}u"ED$ED$E $觭E}uE;EtD$E $耭z}t4}u.E;Eu$ED$ED$E $CU8EEEEE@E}uD$E $ED$ ED$E D$E$E@EE@ E}u$ED$ EED$D$E $蝬}u}uc}uD$E $vED$ ED$D$E@D$ED$E@D$ ED$E D$E$}uD$E $D$E $U8EEEE@E}uD$E $ED$ ED$E D$E$uE@EE@EE@E}u+ED$ED$ EED$D$E $S}u}uj}uED$D$E $%ED$ ED$D$E@D$ED$E@ D$ ED$E D$E$}uD$E $ªD$E $诪UHEEEEEE@EEEE@EE@EE@EEEEE;Eu]EEE}uD$E $ED$ ED$E D$E$}u%ED$ EE@D$D$E $˩}uD$E $販}u}uJED$ ED$D$E@D$ED$E@ D$ ED$E D$E$}u!}u}uD$E $3ED$ ED$E D$E$}uD$E $D$E $U8EEEE@E}uD$E $裨ED$ ED$E D$E$WE@EE@EE@E}u+ED$EED$ ED$D$E $5}u}ul}uED$D$E $ED$ ED$E@D$E@D$ED$E@ D$ ED$E D$E$}uD$E $袧D$E $菧UEE}tR} }t}td}ED$ED$ ED$E D$E$ED$ED$ ED$E D$E$^ED$ED$ ED$E D$E$*5ED$ED$ ED$E D$E$ $ U}u2ED$ED$ ED$E D$E$E@EU8}uEEE@ EE@EEEE;E~yE@EEEEEEEEEE}uEt"EEE܃}t }t|ED$D$E $舥}t"ED$ ED$E D$E$ ED$ ED$E D$E$D$E $-uED$D$E $}t"ED$ ED$E D$E$a ED$ ED$E D$E$D$E $趤EEE؃}t }t|ED$D$E $w}t"ED$ ED$E D$E$ ED$ ED$E D$E$D$E $uED$D$ E $}t"ED$ ED$E D$E$P ED$ ED$E D$E$D$E $襣EzE@E9U8EEE(EE EE(EEEEEEE;EucED$E,$u"E0D$ ED$E D$E$E}uE;EtD$E $듋E$EE E$EE;Eu}uD$E $諢ED$E,$Nt$E,D$ ED$E D$E$"E0D$ ED$E D$E$#}t(}u"ED$ED$E $E}>E;Eu }u+D$E $EEEEEE;Eu)ED$E,$h}4t_ED$E,$UEE@$EE@EE4D$ EU)ЍED$E D$E$FE,D$ ED$E D$E$"E0D$ ED$E D$E$}t(}u"ED$ED$E $РE}E;ED$E $衠}t4}u.E;Eu$ED$ED$E $dUHEEEEE@EED$E$خt+}uD$E $ED$ ED$E D$E$E@EE@ E}u$ED$ EED$D$E $衟}u}uz}uD$E $zED$,ED$(ED$$D$ E@D$ED$E@D$ED$D$ D$E D$E$}uD$E $D$E $UHEEEE@EED$E$jtE}uD$E $葞ED$ ED$E D$E$EE@EE@EE@E}u+ED$ED$ EED$D$E $#}u }u}uED$D$E $ED$,ED$(ED$$D$ E@D$ED$E@ D$ED$D$ D$E D$E$}uD$E $xD$E $eUXEEEEEE@EEEE@EE@EEE;E|8MEAEED$E$蕫uEE뾃}u}uED$D$E $補}uD$E $舜ED$,ED$(ED$$D$ D$D$D$D$E@D$ ED$E D$E$}uD$E $ }u$ED$ EED$D$E $}u }u}t}t}tD$E $諛ED$,ED$(ED$$D$ E@D$ED$E@ D$ED$D$ D$E D$E$}uD$E $1D$E $UHEEEE@EED$E$蛩tG}uD$E $šED$ ED$E D$E$vE@EE@EE@E}u+ED$EED$ ED$D$E $T}u }u}uED$D$E $#ED$,ED$(ED$$E@D$ E@D$ED$E@ D$ED$D$ D$E D$E$5}uD$E $觙D$E $蔙U(EE}tY} }t}tr}ED$ED$ED$ ED$E D$E$ED$ED$ED$ ED$E D$E$ lED$ED$ED$ ED$E D$E$d options: -h or --help -- print help message --version -- print version information -o -- output in old format -n -- output in new format -j -- join formats -v -- verbose (human readable) output -h--help--version-o-n-j-v%s: unknown argument %s %s: you must specify either -o or -n -r%s: cannot open file %s compute { }. 0 B+ B- %i %s: the program contains new rules! %s: the program contains old rules! $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 literalintegrity rule, missing literal countintegrity rule, missing negative countintegrity rule, invalid positive countintegrity 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 weightdisjunctive rule, missing head countdisjunctive rule, missing head atomdisjunctive rule, missing literal countdisjunctive rule, missing negative countdisjunctive rule, invalid positive countdisjunctive rule, missing negative literalunknown rule typeerroneous basic ruleerroneous constraint ruleerroneous choice ruleerroneous integrity ruleerroneous weight ruleoptimization statements are not supportedordered disjunctive rules are not supportederroneous disjunctive ruleD(jmissing 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 o%s: missing cross reference for not =%i1 %i %i :- , .2 %i %i %i :- %i {}.3 %i{ | v }45 :- %i [].8 %iunsat%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 type5Z%% _%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! <Vp%s: unknown rule type %i! GZm}$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! $  @ HL  p| oLoo  :JZjzʅڅ GCC: (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' `/LL7o  ,DoLL0S || \ p e  `$$k   q@ @w` `(       ؠ   H4!44"