ELF44 (444GGPlGG((( Qtd/lib/ld-linux.so.2GNU    g<DQJC5HHf~(Y- `Hn$$ *v  . _Jv_RegisterClasses__gmon_start__libc.so.6strcpystdoutungetcfscanfmallocfprintfstrcatstdinfnmatchstrncpy_IO_getcstrtokstrcmpfgetcsprintfstderrerrorfputcfwriteexitfopen_IO_stdin_used__libc_start_mainstrchrfputsfreeGLIBC_2.1GLIBC_2.2.3GLIBC_2.0$ii si ii  dHHH HtHxH|HHHHHH H H H HHHHHHHHHHHUs5lH%pH%tHh%xHh%|Hh%Hh%Hh %Hh(%Hh0%Hh8p%Hh@`%HhHP%HhP@%HhX0%Hh` %Hhh%Hhp%Hhx%Hh%Hh%Hh%Hh%Hh%Hh1^PTRh`#h"QVhS USQ[ztX[ÐU=Ht+ HҡHuHÉUGtt hGЃÐUh$h)$hF$rUh$h]$hz$KUHuIE h HEE¡HE}~UW j EEE}H@EE PV‹EUERuPE@E@E}UEEEAEEEE%E}tEE1UE1EEuUEкuUu{EE¡HE E@E}tEuP6uك}u= uEE¡HEPE¡H‹EEUE uP ÐUh$h$h$"Uh$h$h$U j(EE PwEE P_EE^UEUE BE@E@ E@E@E@UEBUEB E@$E#EEEEEE;E~ՋEUuu EEPEPEP EP EPEPE@t E@Pu E@EE@uUEBEU j(%EEEEEEPEPEPEPEP EP EPEPEPEPEPEPEP EP EP$EP$E@E}t j(‹EPE@E E@}SEUEEEE P;EUE BUEB$EEEEE;E~EUu uE@E}uU juju u% U ujju u UhE EEE_EEE@EE@EE+EEEEEE}t UEBEE;E~͋E@E}uEEEEE@EċE@EEEEE̋EEȋEЃ}dEЋ@=EЋ@Pu EԋEЋPEԋ@)ȉE؋EP$E‹EЋ@}tUEP EE܋EԋP EEEt EuE@U‰UQ}EP EEEԋP EEEu EuE@MMEtLEu?EP E EP E }tE@U‰UEE;EjE@E}1E E`EEE@EE@EE,EEEEEE}t E@EE;E~̋E@E}uEEU(EEE@EE@ EEEUEEE}tEEE}t%Eu PCu EU‰U#EE;E~E@E}uEEUu u E}t'E@EE@EUE )EEEEUu uE}t@E@ EE@EUE )MUE )E EEEEUu uTE}tDE@ EE@EUE )MUE )EE!ЉEEEUu uE}t'E@ EE@EUE )EEEEUSu uE}t;E@EE@EUE )] uEEE]U[EEE@EEE)EEE}uE@U‰U#EE;E~ϋE@E}uEEUE(EPEEE;E~EEE@E}uҋEUUE BE@E}u]UUE B E@E}u]UUE BE@E}u]U j%EUEUE BUEBUEB EUE@ EEE} t EPE }t EPE u1EUE@t EPE BUE BEuUE ]U j dEEUEBE@uu U j "EEUEBE@uu LU j EEUEBE@uu U jE j EUEUE BEUEBE@uuUxE E}t%}t;}tSE @uPEhI0u EE;EE@E}AU(EEEE@EE@EE@ EEEEEEEEEE#EEE܃}} }th}t}SE#Et6}t Ehb0u uuu uE#E}t Ehb0u 諲hK0u 蘲uuu uEEPh1u eE#Et:h1u @uuu ukh1u E#Et:h1u uuu u"h1u бEE;EAE@E}U(uu蚼E}E@EE@EE@EUE)EEEE܃}tW}}te}_}t!EPE@ RPuu EEPh/u pEEPh1u ۰THH uuPh/R趰 j)HHuPh1R菰 jUuusE}E@EE@EE@$E}t}tUE)EuTHHPh(0RHuuPuIHhI0Pگ jMUE)EuPu u'HHuPh1R華 jUEEEEEEEth1u HEu Pu uEE;Eu}t6}t }t}uu jjh1ׯu j 7E;EuEEEEE[Eu Pu u EE;Et6}t }t}uu jjh1`u j E;EuUEEE@EEEE@E} t Hh1P" j蕮EP E@uRuPuu up }t }t}uh1u ˭}uh2u 谭Uuuu u/E@E}uÐUh2h2h82Uh[2hl2h2UWTE EEEEEE}H@ PE̋EE}H@ P׬EEEuu赭uu褭h2uAEEh2u!E/E EEEEEE@EE@ EE@$EEE@EEE܉EEEE}EjPuujEEEԋEUEEUEE Eԉ}uEUE؉EEEEE;EAE@E}h2jE}j:ut3j:u̪@PuuuE̳2h2uEă}9E؋}U(}uuuu ueuu{E} E@EE@EUE)EE upE}EE܃}t}tN}}th2juu UEEPh2u ̩}th2juu EEPh2u 荩hEEPh2u nIHH uuPh2RF j蹩}EE؃}t}tP}}th2juu `EEPh2u ը}th2juu EEPh2u 蔨rEEPh2u vTHH uuPh2RQ jĨHHuPh2R* j蝨UEEEE EEEEPu,#E$tb}t}u3}t Euu 褧h3u 葧EE u,u(Pu u EE;ElEEEuEEPu,C#E$tO}t}u }t Euu EE u,u(Pu u7 EE;E|UEEEE EEEEPu,藳#E$ub}t}u3}u Euu Uh3u BEE u,u(Pu ux EE;ElEEEuEEPu,#E$uO}t}u }u Euu 貥EE u,u(Pu u EE;E|UEEE EEs}t}uh3u >EE u(u$Pu ut }t}u EH;E}tuu EE;E|EEENEE u(u$Pu u }t}uEH;E~uu 芤EE;E|UEE@EEPE@ EEE}}Eh3u E ujPu uQ E@t@h3u ۣEPE@ ujRPjjh3u u10E@ t@h3u 董EPE@ ujRPjjh3u u0h3u Qh!3u 9uuu uduuh$3u uuu u:E ujPu u8 E@t-EPE@ ujRPjjh3u u+0E@ t-EPE@ ujRPjjh3u u0h+3u ^UEEEE@EEEE@EE@EEE}}Eh-3u }t)E@ ujPujjh3u u60}t<h3u 蚡E@ ujPujjh3u u0}t<h3u XE@ ujPujjh3u u0h3u h!3u uuu u/EEEPEEE@RPh$3u Ƞuuu u}t)E@ ujPujjh3u u0}t)E@ ujPujjh3u u0}t)E@ ujPujjh3u u0h+3u UEE}t}t!>uuuuu ua /uuuuu ua  h13U&uuuuu ur E@E}uU(EEEEE@EE@EE.EEPu(tEEE@;ENjE@+EEEP EEE܃}}ZE܃KEPu赫uEE ujPu u E@u E@ tkhC3u YVh3u DE ujPu u E@u E@ th3u EPE@ujjjjRPh3u u0}t}th3u 賝EPE@ujjRPjjh3u ui0E@ tE@;Eth3u \E@ t-EPE@ ujRPjjh3u u0h3u EPuuWhH3u ܜE ujPu u EPE@ uPh$3u 蝜h!3u 腜uuu uMEPE@ QPhJ3u Guuu urE ujPu up EPE@ujjRPjjh3u u0E@ t-EPE@ ujRPjjh3u u40EPE@ujjjjRPh3u u0h+3u oU(EEEEEEEE@E}u ER3 }uEV3E@EE:EEPuuE EEEE;EEPEEPEE@ EE.EEPu舧tEEE@;ENjEPEUE)ЉEEE܃}}E܃}t,EPEujjjjRPuu u0}RhC3u ̙EP E@ujjjjRPh3u u0}t}th3u ~EPEujjRPjjh3u u50E;Et+E@+UE@th3u EP E@ujjRPjjh3u u0E@;EtE@th3u ĘE@t-EPE@ ujRPjjh3u u0h3u z}~_uhZ3u YEPEujjjjRPh3u u_0uuh$3u }uYhH3u EPEujjjjRPh3u u0uuh$3u 賗Xuh!3u 蛗uuu uE@UBPRhJ3u muuu uEPEujjRPjjh3u u0EP E@ujjRPjjh3u u0E@t-EPE@ ujRPjjh3u uH0EP E@ujjjjRPh3u u0h+3u 胖UEE}t}t!>uuuuu u /uuuuu u  h13cU&uuuuu ur E@E}uU(EEEEE@EE@EE.EEPu藢tEEE@;ENjE@+EEEP EEE܃}#}E܃EPu$E ujPu uD EtuhR3u Ȕ EtuhV3u 覔uuu uEEtuhC3u u`uuu uh_3u LE ujPu u EEth3u EPE@ujjjjRPh3u u0}t}th3u œEPE@ujjRPjjh3u u{0E@ tE@;Eth3u nE@ t-EPE@ ujRPjjh3u u0h3u $EPuu_hh3u uuu uE ujPu u EEuPh$3u 褒`hH3u 菒uuu uUBEE@RPh$3u ^E ujPu u EPE@ujjRPjjh3u u0E@ t)E@ ujPujjh3u uc0EPE@ujjjjRPh3u u0h+3u 螑U(EEEEEEEE@E}u ER3 }uEV3E@EE:EEPu#uE EEEE;EEPEEPEE@ EE.EEPu距tEEE@;ENjEPEUE)ЉEEE܃}}TE܃Euuu uu}tBuhl3u EPEujjjjRPuu u"0}RhC3u яEP E@ujjjjRPh3u u0}t}th3u 胏EPEujjRPjjh3u u:0E;Et+E@+UE@th3u EP E@ujjRPjjh3u u0E@;EtE@th3u ɎE@t-EPE@ ujRPjjh3u u0h3u u}t\E@PhZ3u \uuu uEPEujjjjRPh3u uN0'ho3u uuu u0uuh$3u ۍEPEujjRPjjh3u u0EP E@ujjRPjjh3u uc0E@t-EPE@ ujRPjjh3u u0EP E@ujjjjRPh3u uL0h+3u UEE}t}t!>uuuuu u /uuuuu u  h13U&uuuuu ur E@E}uU(REEE@ EEEE@EEEEEEEEE܃}}E܃}tEu EtX ujuu u h_3u 蝋 ujuu u h3u q ujuu u h_3u E ujuu u h3u }tEu EtkhH3u  ujuu u! hs3u 赊 ujuu u h+3u 艊hH3u v ujuu u hs3u J ujuu u h+3u EE;EE@E}U'EEEEE@EEEEEE}tn}E ujuu u hC3u ouuu uh3u HfhH3u 3 ujuu us hx3u uuu u2h+3u EE;EE@E}UHEEEEEE}u ER3 }uEV3EEE؋EEHElE؋EE؋@ EE؋@$EEE*E؋@EEEEEEEEEEE;EEE}9}Eu uu uhC3u 螇u uu uh3u w}~'u uu uh3u Jh3u 7 ujuu uw h3u u uu u6hC3u }~'u uu u h3u 跆 ujuu u h}3u 苆 ujuu u h3u _u uu uhC3u 8u uu uch3u }~'u uu u6h3u  ujuu u$ h}3u 踅 ujuu u h3u 茅u uu uuu gu uu uuu B ujuu u hC3u }~'u uu u;h3u h3u ք ujuu u h3u 誄}thH3u 舄u uu u賿h3u a ujuu u u uu usu uu u_h+3u hH3u u uu u%h3u Ӄ ujuu u ujuu u u uu u̾h+3u zhH3u gu uu u蒾h3u @ ujuu u u uu uRu uu u> ujuu u? h+3u ӂh3u u uu uu uu u׽ ujuu u h3u l ujuu u u uu u~h+3u ,hH3u u uu u?h3u  ujuu u- u uu uh+3u 譁hH3u 蚁u uu użh3u s ujuu u ujuu u h+3u .hH3u u uu uFh3u  ujuu u4 u uu u ujuu u h+3u 蛀h3u 舀u uu u賻u uu u蟻 ujuu u hs3u 4 ujuu ut h+3u EEE;EE؋@E؃}EEE;E$_UHEE EċEEE jEЃ u ō@EEċE܋Eċ@ EErEċ@EEEԉEEEEE j 6E j&EEUEBUE؉ j~E̋E@ E@UẺBŨEPŰE؉ŨEUEȉBEEE j ~E j~~EEUEBUE؉ jT~E̋E@ E@UẺBŨEPŰE؉ŨEUEȉBEEȍEE;EEċ@Eă}R u Pju EUEЉB$EЃEÐUHHPh3Rp}h3h3h3轛蘁n茷UHHPh3R}Hh4P}HhT4P|Hh5P|Hh 5P|HhH5P|Hhp5P|Hh5P~|Hh5Ph|Hh5PR|UWVS)DžDžDžDžDžDžDžDžDž j@{Dž 5Dž5Dž5HDžDž Dž$Dž(Dž4Dž8Dž<Dž@DžDDžHDžLDžPDžTDžXDž\Dž`DždDžhDžlDžpDžtDžxDž|EEEEE HEEEE EEDž5Dž(tEEDž5Dž(uDž\EDž6Dž (uDž`EEDž 6Dž(uDždEDž 6Dž(uDžhEDž6Dž(uDžpIuE2EDž6Dž(u#DžtDž|DžxEDž6Dž(u#DžxDžtDž|bEDž| 6Džx|x(u#Dž|DžxDžtt ttЍPEppH PvE uwuu"wh#6uwEllH@ Pv u jw uvxhhЍPEddH PuEuvuu/vh#6uvE``H@ Puuwv uu|\\ЍPEXXH PuEuuuuLZhvunknown rule type %i! #<Rh~unsupported rule type %i! ؟De%s: unknown rule type %i! i )9iiIYFile []: $Revision: 1.2 $$Date: 2005/03/04 11:37:29 $$RCSfile: io.h,v $$Revision: 1.18 $$Date: 2006/12/14 06:28:46 $$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 literalbasic rule, missing positive 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 rule4}ƶUgymissing 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 line_unsat$Revision: 1.20 $$Date: 2006/12/14 06:32:03 $$RCSfile: output.c,v $NULL_%i %iint%i%s: unknown style %i for _%i %s: entry _%i out of table III%s: missing cross reference for not =%i1 %i %i :- , .2 %i %i %i :- %i {}.3 %i{ | v }45 :- %i [].8 %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 typegTFPNVI%% _%i = : %i c %i %i :- not . :- %i%s: entry #%i out of table - |%s: only clauses are supported by cnf routines! 0 $Revision: 1.2 $$Date: 2005/03/08 11:39:29 $$RCSfile: translate_circ2dlp.h,v $$Revision: 2.0 $$Date: 2007/03/19 12:34:44 $$RCSfile: translate_circ2dlp.c,v $: '_%i_complint%i %i%s: unknown style %i for _%i ''_copy%s: entry _%i out of table not :- not , . 1 %i %i :- unknown rule type :- 1 %i %i | v 8 %i :- not 8 2%s1 1 1 1 1 0, not 3 1 4 18 3 2 1%s: version information: $Revision: 2.0 $$Date: 2007/03/19 12:33:20 $$RCSfile: circ2dlp.c,v $ usage: %s [-m -v -f ] Default is that all atoms are minimized with highest priority, unless explicitely given a priority or stated to be varying or fixed. Default behaviour can be changed using option --vary. options: -h or --help -- print help message -t -- verbose mode (human readable) --dlv -- verbose mode, dlv syntax --vary -- all atoms are varied by default --version -- print version information -h--help--version-t--dlv--vary-m-v-f %s: unknown argument %s %s: cannot use options -t and --dlv at the same time %s: missing input file -r%s: cannot open file %s %s: Program %s contains an invisible atom (%i). %s: The semantics for invisible atoms under option --vary is unclear. falsityunsatdiff_%iok_%i | v :- . :- not 8 %i 0 0 1 01 1 1 0 0 B+ B- $ 8 #H؃  hHh o(ooGfvƆֆ&6FVfvGGCC: (GNU) 4.0.2 20050725 (prerelease) (Debian 4.0.1-3)GCC: (GNU) 4.0.2 20050725 (prerelease) (Debian 4.0.1-3)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.2 20050725 (prerelease) (Debian 4.0.1-3)GCC: (GNU) 4.0.1 (Debian 4.0.1-2)GCC: (GNU) 4.0.2 20050725 (prerelease) (Debian 4.0.1-3).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 (( !HH' /؃7o:Do((@S hh \  e88`PPpk4q#w$q7GGGGdHdhHhdH̸ Hظظ