ELF 44I4 ("444``4L``((( Qtd/lib/ld-linux.so.2GNU     h5a?J#C<#.4av8aH}Q7 RD$IE$+ED$EԉD$ ED$ED$$ED$HE$}~EĉD$D$IE$D$IE$D$ ED$ED$$D$IE$OẺD$ EĉD$ED$EԉD$E܉D$ED$ ED$ED$$D$JE$,ED$ED$$虈D$JE$D$JE$D$ ED$ED$$D$JE$D$ JE$}~EĉD$D$ JE$D$ ED$ED$$誉D$JE$OD$D$ JE$4$U}E D$$ J5ED$ ED$E D$E$?vE D$$FJED$ ED$E D$E$ vD$JJE $ED$ ED$E D$E$uD$SJE $l}D$WJE $JED$ ED$E D$E$uD$ D$D$YJE $ED$ ED$E D$E$AuD$HE $UEEEE;Eud}uE D$$`JED$ ED$E D$E$*E}uE;EtE D$$eJU8E4D$(E,D$$ED$ ED$ED$E(D$E$D$E D$ ED$E D$E$`5E4D$(E0D$$ED$ ED$ED$E(D$E$D$E D$ ED$E D$E$<U(EEE@EE@ E}ED$D$hJE $b}u}uD$lJE $AED$E@D$ ED$E D$E$EED$E@D$ ED$E D$E$D$qJE $ED$ E@D$D$tJE $}ED$D$JE $EED$ EED$D$YJE $hED$E@D$ ED$E D$E$lED$E@D$ ED$E D$E$BD$HE $ED$ E@D$D$JE $U}uOED$ ED$E D$E$'ED$D$JE $D$SJE $S}uMD$WJE $iED$ ED$E D$E$qED$D$JE $/U}uE;Eu }u+D$^E $$dEEEEEE;Eu|E$D$ ED$E D$E$;}t(}u"ED$ED$^E $cE}uE;EtD$^E $cz}t4}u.E;Eu$ED$ED$^E $OcU8EEEEE@E}uD$^E $cED$ ED$E D$E$?E@EE@ E}u$ED$ EED$D$^E $b}u}uc}uD$^E $bED$ ED$D$E@D$ED$E@D$ ED$E D$E$}uD$^E $bD$^E $ bU8EEEE@E}uD$^E $aED$ ED$E D$E$E@EE@EE@E}u+ED$ED$ EED$D$^E $_a}u}uj}uED$D$^E $1aED$ 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 $?_ED$ ED$E D$E$}uD$^E $_D$^E $^U8EEEE@E}uD$ _E $^ED$ ED$E D$E$E@EE@EE@E}u+ED$EED$ ED$D$^E $A^}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$h ED$ ED$E D$E$D$7_E $9[uED$D$:_E $[}t"ED$ ED$E D$E$ ED$ ED$E D$E$/D$^E $ZEEE؃}t }t|ED$D$C_E $Z}t"ED$ ED$E D$E$W ED$ ED$E D$E$D$7_E $(ZuED$D$K_E $ Z}t"ED$ ED$E D$E$ ED$ ED$E D$E$D$^E $YEzE@E9U8EEE(EE EE(EEEEEEE;EucED$E,$u"E0D$ ED$E D$E$rE}uE;EtD$^E $X듋E$EE E$EE;Eu}uD$^E $XED$E,$Nt$E,D$ ED$E D$E$w"E0D$ ED$E D$E$}t(}u"ED$ED$^E $+XE}>E;Eu }u+D$^E $WEEEEEE;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$d}t(}u"ED$ED$^E $VE}E;ED$^E $V}t4}u.E;Eu$ED$ED$^E $pVUHEEEEE@EED$E$خt+}uD$^E $ VED$ ED$E D$E$CE@EE@ E}u$ED$ EED$D$^E $U}u}uz}uD$^E $UED$,ED$(ED$$D$ E@D$ED$E@D$ED$D$ D$E D$E$}uD$^E $ UD$^E $TUHEEEE@EED$E$jtE}uD$^E $TED$ ED$E D$E$E@EE@EE@E}u+ED$ED$ EED$D$^E $/T}u }u}uED$D$^E $SED$,ED$(ED$$D$ E@D$ED$E@ D$ED$D$ D$E D$E$}uD$_E $SD$^E $qSUXEEEEEE@EEEE@EE@EEE;E|8MEAEED$E$蕫uEE뾃}u}uED$D$T_E $R}uD$Y_E $RED$,ED$(ED$$D$ D$D$D$D$E@D$ ED$E D$E$}uD$[_E $R}u$ED$ EED$D$^E $Q}u }u}t}t}tD$^E $QED$,ED$(ED$$D$ E@D$ED$E@ D$ED$D$ D$E D$E$}uD$^E $=QD$^E $*QUHEEEE@EED$E$蛩tG}uD$ _E $PED$ ED$E D$E$E@EE@EE@E}u+ED$EED$ ED$D$^E $`P}u }u}uED$D$ _E $/PED$,ED$(ED$$E@D$ E@D$ED$E@ D$ED$D$ D$E D$E$5}uD$_E $OD$^E $OU(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 -v -- verbose mode (human readable) -h--help--version-v%s: unknown argument %s -r%s: cannot open file %s %s: %s contains a non-basic rule! % %s contains no atoms, hence no output! _neg__ismin_%% Translation of the program %s: %% List of %i atoms: %% Negated atoms (%i atoms): %% Minimality atoms (%i atoms): %% Atoms for counters: compute { not _%i }. compute { }. 0 B+ B- %i % Define the complement for the atom : :- not . 1 %i %inot , _%i :- . _%i :- not _%i. 1 %i1 %i 1 1 %i :- not _%i 1 1 %i :- not _%i. _%i :- not , not 1 %i 2 2% Derive minimality: % Interpret comparisons: _%i :- not _geq_0__1 %i 2 2 %i %i :- not _neq_ 2 2 %i %i , not _lthan_0_, not _geq_0_1 %i 3 3 %i %i %i 3 3 %i %i %i _ismax__%i :- not _ismax_nxt_% Translations of nontrivial rules having as head: %% Translation of rule #%i having the atom % Ensure that is derived if is true. $Revision: 1.5 $$Date: 2006/04/19 05:53:23 $$RCSfile: scc.c,v $$Revision: 1.5 $$Date: 2005/07/12 10:36:36 $$RCSfile: counter.c,v $_%i %i%% Subprogram SEL_%i(,): _one_%i_ :- not _zero_%i_, not . _zero_%i_ :- not _one_%i_ 1 %i 2 2 %i %i %% Subprogram NXT_%i(, not _zero_%i_, not _one_%i_1 %i 4 4 %i %i %i %i 1 %i 3 3 %i %i %i %% Subprogram CLEAR_%i(_%i :- not _zero_%i_1 %i 2 2 %i%% Subprogram LTHAN_%i(_lt_%i___geq_%i_ :- not _lt_%i_, not _geq_%i_%% Subprogram EQ_%i(_eq_ :- not _neq__neq_%% _%i = _one_%i_%i _one_%i_%% _%i = _zero_%i_%i _zero_%i_%% _%i = _one_%i_nxt_%i _one_%i_nxt_%% _%i = _zero_%i_nxt_%i _zero_%i_nxt_$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 $$Revision: 1.5 $$Date: 2006/04/19 05:34:39 $$RCSfile: rule.h,v $$Revision: 1.7 $$Date: 2006/04/19 05:35:59 $$RCSfile: rule.c,v $unknown rule type %i! <Vp%s: unknown rule type %i! GZm}File []: $Revision: 1.2 $$Date: 2005/03/04 11:37:29 $$RCSfile: io.h,v $$Revision: 1.17 $$Date: 2006/04/19 05:38:58 $$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 rule(j0o}missing 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.18 $$Date: 2006/04/19 05:38:32 $$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 }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 type7\]%% _%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.2 $$Date: 2005/10/25 12:09:26 $$RCSfile: translate.h,v $$Revision: 1.13 $$Date: 2006/04/19 05:42:04 $$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 -`$  FHL `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-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) ",! F  D" A,B4(`Q}Jr ~Li &$Z F!!_IO_stdin_usedC x*y_version_lp2atomic_cusagemaindefine_complementJtr_atom_listgenerate_unaryevaluate_bodyderive_headcheck_supportednessforce_supportedness tr_basic_as_atomictr_atomic tr_unary!tr_binary#tr_generalM&non_trivial&tr_atoms\*program_nameB4_version_scc_cfind_referencehinitialize_references4compute_references}count_onvisit<strongly_connected_components`Q _version_counter_callocate_countersfind_vectors$log2^write_atom_if_possiblegenerate_selgenerate_nxtgenerate_clearlgenerate_lthanzgenerate_equalitywrite_symbols_for_countersJrV _version_atom_h_version_atom_cnew_tableextend_table copy_tableninitialize_other_tableinitialize_other_tables;compare_symtabsmatch_symtabscombine_symtabsset_status_by_namefind_atom$find_atom_by_namefind_name2set_statusget_status/ set_name find_invisible: table_size set_shift set_prefix set_postfixY push pop~_version_rule_h_version_rule_cneg_inv_listrneg_inv_basicneg_inv_constraint)neg_inv_choiceneg_inv_integrityneg_inv_weight?neg_inv_disjunctiveneg_invcheck_negative_invisible@non_basiccheck_rule_typesnon_atomicdlen_basiclen_constraintlen_choice$len_integrityflen_weightlen_disjunctivelen_clause2len_ruleclencompute_statement_len>number_of_rules]iW"_rcs_keyword_version2_version_io_hN_version_input_cmerrorread_basicbread_constraint:read_choiceread_integrityread_weightread_disjunctiveread_programread_symbolsGread_compute_statementjread_literalsY read_clause digits read_cnf$"program_name?"max_atom#_version_output_cwrite_namewrite_atomwrite_other_atomcwrite_literal_listFwrite_basicwrite_constraintwrite_choice7write_integritywrite_weightwrite_disjunctive?write_clause_as_rulewrite_ruleCwrite_programwrite_symbolswrite_compute_statement write_classical_atomL!write_other_classical_atom"write_classical_literal_list"write_clauseV#write_cnf(_version_translate_h_version_translate_ctr_literal_listtr_basictr_constraint%tr_choicetr_weighttr_ruletr_programjtr_compute_statement[tr_invisible_listtr_invisible_basic~tr_invisible_constraintAtr_invisible_choiceD tr_invisible_weight!tr_invisible_rule!tr_invisible_part"tr_invisible_compute_statementP#gen_inclusion_rules$gen_diff_rules$gen_diff_invisible%gen_classical_rulesd&gen_submodel_rules%'tr_clause'tr_cnf B../sysdeps/i386/elf/start.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csuGNU AS 2.15qDD.<U0'"B3#T$0N%q"3(@)B*C+T,int-023E;u<400q)g00a+#'W~aq\0 a0aaaYaKqX5qJhp  0 3Ea Nb0 S Q <R$IT=N#S#T$y zV#8I#)T#z!h#8"I#z# &-`g 8;JH RR7 X7<?u#v#x#Vz# {#}#~##.$# b#$#(#,t#0#4#8 =$@#### #%#8I#8#  B  B %K RB@N $RO/ 5ARtXL RR7] a    d  $$ e5 ;GBjA#k#l*#m# n# Gd  I%#BR##= .,42#3=# M,5 / 4 Q5.789T:0G5/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crti.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csuGNU AS 2.15t*(%lp2atomic.c/lhome/ttj/src/lp2atomicGNU C 3.3.5 (Debian 1:3.3.5-13)size_tl__u_char"unsigned char__u_short#short unsigned int__u_int$l__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*0short int__uint16_t+__int32_t,`int__uint32_t-l__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_tl__gid_tl__ino_t__ino64_t__mode_tl__nlink_tl__off_tflong int__off64_t__pid_t`__val#`__fsid_t__clock_tf__rlim_t__rlim64_t__id_tl__time_tf__useconds_tl__suseconds_tf__daddr_t`__swblk_tf__key_t`__clockid_t`__timer_t`__blksize_tf__blkcnt_tf__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_t`__loff_tr__qaddr_t` __caddr_tw }char__intptr_t`__socklen_tlFILE. . _flags `# _IO_read_ptr w# _IO_read_end w# _IO_read_base w# _IO_write_base w# _IO_write_ptr w# _IO_write_end w# _IO_buf_base w# _IO_buf_end w# _IO_save_base w#$ _IO_backup_base w#( _IO_save_end w#, _markers #0 _chain #4 _fileno `#8 _flags2 #`#< _old_offset %W#@ _cur_column )#D _vtable_offset *#F _shortbuf +K#G _lock /[#H _offset 8r#L __pad1 > #T __pad2 ? #X _mode A`#\ _unused2 Ca#`__FILE> wchar_tEf wint_tbl LS__wchQ__wchbRL\}T__countN`#__valueS(#__mbstate_tT\ __posW##_G_fpos_t#__pos!r#"#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR  8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH/ 5 h `h      `` n  __gconv_step<?__shlib_handleuL#__modnamev #__counterx`#__from_namezw# __to_name{w#__fct} #__btowc_fct~ #__init_fct #__end_fct # __min_needed_from`#$__max_needed_from`#(__min_needed_to`#,__max_needed_to`#0__stateful`#4 #8   __gconv_step_data$@__outbuf #__outbufend #__flags`#__invocation_counter`# __internal_use`#__statepR##__trans.#      ^__gconv_btowc_fctK   h __gconv_init_fctN   `h __gconv_end_fctO0 6 B h __gconv_trans_fctX[ a  `h        __gconv_trans_context_fct]   `     __gconv_trans_query_fcta   ` +  & } 1  __gconv_trans_init_fctdU [ p `p   __gconv_trans_end_fcte    .__gconv_trans_dataB__trans_fctjB #__trans_context_fctk #__trans_end_fctlv #m # __nextn.#  __gconv_loaded_object 4 __gconv_info__nsteps^#__stepsh ## __gconv_t X,4__cd2X#3 # ,5__cd/X__combined4_G_iconv_t5_G_int16_t70_G_int32_t8`_G_uint16_t9_G_uint32_t:l__gnuc_va_list+ }_IO_lock_t _IO_marker _next #_sbuf #_pos `#  K__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconv[} q}3 H __io_read_fn _. w^ __io_write_fn h.  ^ __io_seek_fn p `  ` r __io_close_fn s'7` fpos_tXatab(  `# `#shift `#prefix w# postfix w#other #next #names #statuses # others !#$ E w `ATAB "Eaastack AM B`#status C`#name Dw#under Ea# ASTACK Fbasic_rule  `# `#pos # `# neg !#BASIC_RULE "uPconstraint_rule $ %`#bound &`# '`#pos (#  )`#neg *#CONSTRAINT_RULE +choice_rule -a .`# /# 0`#pos 1#  2`#neg 3#CHOICE_RULE 4g3integrity_rule 6 7`#pos 8# 9`#neg :# INTEGRITY_RULE ;weight_rule = >`#bound ?`# @`#pos A#  B`#neg C#weight D#WEIGHT_RULE EIFdisjunctive_rule Ga H`# I# J`#pos K#  L`#neg M#DISJUNCTIVE_RULE Nclause P Q`#pos R# S`#neg T# CLAUSE U^1any_rule W X1constraint Y7choice Z=integrity [Cweight \Idisjunctive ]Oclause ^U u  g  I  ^ANY_RULE _rule atype b`#data c[#next d# kRULE ekBreference refcount `#firstref B#lastref B#scc `#  `#visited `#status `# H REFERENCE reftab  `# `#ashead #next # N _REFTAB _vector length `# `# `#VECTOR [vtab  `# `#vectors [#next g# a  VTAB _version_lp2atomic_c?U _version_atom_c`! _version_scc_c`!"_version_counter_c`!#usage#?U$main7`<U%argc6`%argv6 &file8w|&in9x&out:t&program;Hp&scanh&size?`d'@`'A\&succtableCX'DT&numberE`P'G`L'MG`H'jG`D'\I`@&vtabJ&option_helpL`&option_versionM`&option_verboseN`&argPw&whichQ`&errorR`    m(Jdefine_complement<U)>`%out )M`))*tr_atom_listU+>`,out ,cnt`,scan+-last|./`!*generate_unary#U+>`,out +\`+M`++`+ ` +( $+D `(+!`,,eq!`0+!`40/$`!/)`!*evaluate_body3U+>1`,out1 +M1`+1+2+214`|15`x16`t *derive_headY7U+>X`,outX +MX`+X+X`./\`!*check_supportednessl7ԔU+>j`,outj +Mj`+j`+xk* force_supportednessԔەU+>}`,out} +M}`+j}`+~+x~*tr_basic_as_atomicەfU+>`,out +++1`|1`x1`t* tr_atomicfU+>`,out +\`+M`+++ +`$+`(+j,2} generate_clear`!.ɗ0/`!3!tr_unary`WU+>`,out +\`+M`+++` +`$+((+D`,+`0+j4+`81`|-eq`x4!3/`!.(/`!3#tr_binary`W٢U+>`,out +\`+M`+++` +`$+((+D`,,atom3`0,table34+`8+`<+j+`1`|-lthan2`x-lthan3`t-eq2`p-eq3`l0P#/`!4n#'/9`!. /^`!3M&tr_general`٢U+>`,out +\`+M`+++ +$,vtab(+`,+`0,pos4,scc`8+R`<+`+j+`1`|-eq`x-rule_counter`t-ismax`p-scanl0%/`!0-%`!4K%ɣ/`!4i%/`!42&a1`h-vecs2ad-h2`-successor2`\-lthan2`X-eq2`T4%'ާ/`!4&{]/ `!.e/`!.ЩT/`!3&non_trivial.`U+-1/`|-cnt0`x-first1t-last2p-scan3l**tr_atomsD%U+>@`,out@ +A+A+A+B,vtabB +jC$+C`(-passbyG|1Hx.01N`t1O`p-iP`l.\1MS`h-hTd-sccU``1V`\-rWBX47(3w1jT.1\u`T-rcntv`P-vecsxaL1y`H1z`D4)1@1R`1`-haseq`1`-scc_pos_cnt`-scan-pos-pos1`-pos2`4s).1`-h24).-vecs2a1D`.3-vecs2a-vecs3a1D`1`./`!_IO_jump_t_IO_FILE_plus5stdin5stdout5stderr6program_namewDa!(scc.c/lhome/ttj/src/lp2atomicGNU C 3.3.5 (Debian 1:3.3.5-13)size_tfE__u_char"}unsigned char__u_short#short unsigned int__u_int$f__u_long%long unsigned int__int8_t(signed char__uint8_t)}__int16_t**short int__uint16_t+__int32_t,Zint__uint32_t-f__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_tf__gid_tf__ino_t__ino64_t__mode_tf__nlink_tf__off_t`long int__off64_t__pid_tZ__val#ZE__fsid_t__clock_t`__rlim_t__rlim64_t__id_tf__time_t`__useconds_tf__suseconds_t`__daddr_tZ__swblk_t`__key_tZ__clockid_tZ__timer_tZ__blksize_t`__blkcnt_t`__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_tZ__loff_tl__qaddr_tZ __caddr_tq wchar__intptr_tZ__socklen_tfFILE. . _flags Z# _IO_read_ptr q# _IO_read_end q# _IO_read_base q# _IO_write_base q# _IO_write_ptr q# _IO_write_end q# _IO_buf_base q# _IO_buf_end q# _IO_save_base q#$ _IO_backup_base q#( _IO_save_end q#, _markers #0 _chain #4 _fileno Z#8 _flags2 #Z#< _old_offset %Q#@ _cur_column )#D _vtable_offset *#F _shortbuf +E#G _lock /U#H _offset 8l#L __pad1 > #T __pad2 ? #X _mode AZ#\ _unused2 C[#`__FILE> wchar_tE` wint_tbf FS__wchQ__wchbRFVwT__countNZ#__valueS"#__mbstate_tTV __posQ##_G_fpos_t#__pos!l#"#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR  8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH) / b Zb      ZZ h  __gconv_step<?__shlib_handleuF#__modnamev #__counterxZ#__from_namezq# __to_name{q#__fct} #__btowc_fct~ #__init_fct #__end_fct # __min_needed_fromZ#$__max_needed_fromZ#(__min_needed_toZ#,__max_needed_toZ#0__statefulZ#4e #8   __gconv_step_data$@__outbuf #__outbufend #__flagsZ#__invocation_counterZ# __internal_useZ#__statepL##__trans(#   }  } X__gconv_btowc_fctK   b }__gconv_init_fctN   Zb __gconv_end_fctO* 0 < b __gconv_trans_fctXU [  Zb        __gconv_trans_context_fct]   Z     __gconv_trans_query_fcta   Z %   w +  __gconv_trans_init_fctdO U j Zj   __gconv_trans_end_fcte    (__gconv_trans_dataB__trans_fctj< #__trans_context_fctk #__trans_end_fctlp #em # __nextn(#  __gconv_loaded_object . __gconv_info__nstepsX#__stepsb #e# __gconv_t R,4__cd2R#e3 # ,5__cd/R__combined4_G_iconv_t5_G_int16_t7*_G_int32_t8Z_G_uint16_t9_G_uint32_t:f__gnuc_va_list+ w_IO_lock_t _IO_marker _next #_sbuf #_pos Z#  E__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconvUw kw3 H __io_read_fn _( qX __io_write_fn h(  X __io_seek_fn pZ Z l __io_close_fn s!1Z fpos_tXatab(  Z#^ Z#shift Z#prefix q# postfix q#other #next #names #statuses # others !#$ ? q ZATAB "?\astack Aatom BZ#status CZ#name Dq#under E\#  ASTACK F basic_rule Y Z# Z#pos # Z# neg !#BASIC_RULE "pKconstraint_rule $Y %Z#bound &Z# 'Z#pos (#  )Z#neg *#CONSTRAINT_RULE +choice_rule -< .Z#Y /# 0Z#pos 1#  2Z#neg 3#CHOICE_RULE 4b.integrity_rule 6 7Z#pos 8# 9Z#neg :# INTEGRITY_RULE ;weight_rule =Y >Z#bound ?Z# @Z#pos A#  BZ#neg C#weight D#WEIGHT_RULE EDAdisjunctive_rule G< HZ#Y I# JZ#pos K#  LZ#neg M#DISJUNCTIVE_RULE Nclause P QZ#pos R# SZ#neg T# CLAUSE UY,any_rule W/ X,constraint Y2choice Z8integrity [>weight \Ddisjunctive ]Jclause ^P p  b  D  YANY_RULE _rule atype bZ#data cV#next d# fRULE efBreference refcount Z#firstref B#lastref B#scc Z# scc_size Z#visited Z#status Z# H REFERENCE  R  Z#^ Z#ashead #next # N _REFTAB __version_scc_c(LU _versionZ!"bfind_referenceLU#Rb$atomZ %[&Z|&^Zx ".initialize_references#b޴U$table".&5$bx'malloc$Z!&R%bt%ܳд&(Zp&^)Zl&$*h(i+Zd%:(h2` )wcompute_referencesJ޴U$programIH#RIb (scanKH|(passLbx*,&/Qwt&YRZp(hSl*D7&\Zl&$]p(i^Zt%`(hah%{(refdBd mallocdZ!%õ&/rwd&YsZh(htl "count_on~ZSU$stack}$atom}Z &5Z|%N(atom2Zx b"6visitZSjU$atomZ$next #Z$stack6#Rb(h|(rBx(minZt*̶&/wp&Zl(scanh(lastd%x(atom2Z`(h2\&5ZX%e(sizeZX(atom2Z\%c(h2` )strongly_connected_componentsjU#Rb#Z (nextZ|(stackx%&Zt&^Zp(iZl%(atomZh(hڨd_IO_jump_t_IO_FILE_plus B?counter.c/lhome/ttj/src/lp2atomicGNU C 3.3.5 (Debian 1:3.3.5-13)size_tj__u_char"unsigned char__u_short#short unsigned int__u_int$j__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*.short int__uint16_t+__int32_t,^int__uint32_t-j__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_tj__gid_tj__ino_t__ino64_t__mode_tj__nlink_tj__off_tdlong int__off64_t__pid_t^__val#^__fsid_t__clock_td__rlim_t__rlim64_t__id_tj__time_td__useconds_tj__suseconds_td__daddr_t^__swblk_td__key_t^__clockid_t^__timer_t^__blksize_td__blkcnt_td__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_t^__loff_tp__qaddr_t^ __caddr_tu {char__intptr_t^__socklen_tjFILE. t. _flags ^# _IO_read_ptr u# _IO_read_end u# _IO_read_base u# _IO_write_base u# _IO_write_ptr u# _IO_write_end u# _IO_buf_base u# _IO_buf_end u# _IO_save_base u#$ _IO_backup_base u#( _IO_save_end u#, _markers #0 _chain #4 _fileno ^#8 _flags2 #^#< _old_offset %U#@ _cur_column )#D _vtable_offset *#F _shortbuf +I#G _lock /Y#H _offset 8p#L __pad1 > #T __pad2 ? #X _mode A^#\ _unused2 C_#`__FILE> wchar_tEd wint_tbj JS__wchQ__wchbRJZ{T__countN^#__valueS&#__mbstate_tTZ __posU#l#_G_fpos_t#__pos!p#l"#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR  8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH- 3 f ^f      ^^ l  __gconv_step<?__shlib_handleuJ#__modnamev #__counterx^#__from_namezu# __to_name{u#__fct} #__btowc_fct~ #__init_fct #__end_fct # __min_needed_from^#$__max_needed_from^#(__min_needed_to^#,__max_needed_to^#0__stateful^#4 #8   __gconv_step_data$@__outbuf #__outbufend #__flags^#__invocation_counter^# __internal_use^#__statepP#l#__trans,#      \__gconv_btowc_fctK   f __gconv_init_fctN   ^f __gconv_end_fctO. 4 @ f __gconv_trans_fctXY _  ^f        __gconv_trans_context_fct]   ^     __gconv_trans_query_fcta   ^ )  $ { /  __gconv_trans_init_fctdS Y n ^n   __gconv_trans_end_fcte    ,__gconv_trans_dataB__trans_fctj@ #__trans_context_fctk #__trans_end_fctlt #m # __nextn,#  __gconv_loaded_object 2 __gconv_info__nsteps\#__stepsf ## __gconv_t V,4__cd2V#3 # ,5__cd/V__combined4_G_iconv_t5_G_int16_t7._G_int32_t8^_G_uint16_t9_G_uint32_t:j__gnuc_va_list+ {_IO_lock_t _IO_marker _next #_sbuf #_pos ^#  I__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconvY{ o{3t H __io_read_fn _, u\ __io_write_fn h,  \ __io_seek_fn p ^  ^ p __io_close_fn s%5^ fpos_tXatab(  ^# ^#shift ^#prefix u# postfix u#other #next #names #statuses # others !#$ C u ^ATAB "C_astack A B^#status C^#name Du#under E_# ASTACK Fbasic_rule head ^# ^#pos #} ^# neg !#BASIC_RULE "sPconstraint_rule $head %^#bound &^# '^#pos (# } )^#neg *#CONSTRAINT_RULE +choice_rule - .^#head /# 0^#pos 1# } 2^#neg 3#CHOICE_RULE 4g4integrity_rule 6 7^#pos 8#} 9^#neg :# INTEGRITY_RULE ;weight_rule =head >^#bound ?^# @^#pos A# } B^#neg C#weight D#WEIGHT_RULE EJIdisjunctive_rule G H^#head I# J^#pos K# } L^#neg M#DISJUNCTIVE_RULE Nclause P Q^#pos R#} S^#neg T# CLAUSE Ua6any_rule Wbasic X6constraint Y<choice ZBintegrity [Hweight \Ndisjunctive ]Tclause ^Z s  g  J  aANY_RULE _rule atype b^#data c`#next d# pRULE epGreference refcount ^#firstref G#lastref G#scc ^#  ^#visited ^#status ^# M REFERENCE reftab  ^# ^#ashead #next # S dREFTAB d vector length ^#counter ^# ^#VECTOR dvtab  ^# ^#vectors d#next p# j   VTAB _version_counter_c<Uallocate_counters<κU newatom reftab !^x"rvaluet#$malloc^$"newp%p!^l"i ^h%u!'^d"h(`!)^\%Y"nvec,jX!-^T v $find_vectorsCjκ5U vtabB&B^ %ݺ'!E^|!F^x^log2O^5lU nN^"resultP^|'write_atom_if_possibleYl޻U&X^ outX &X^& X  'generate_sell޻U&i^ outi &i^&j^& j vecj^&k^ &k$"im^|!n^x%2"cond^t'generate_nxt$U&^ out &^&^&  negtable vec^ &^$&( vec2^,"i^|!^x!^t%"cond^p(lgenerate_clear$U)^*out )^)^) *vec^)^ *contradiction^$+^|,T=J-i^x%R-i(^t(zgenerate_lthan>XU):^*out: ):^*atom1;^*table1;*vec1;^)<^ )<$*vec2<^(*vec=^,)=^0-i?^|+@^x-negvec1A^t+B^p(generate_equalityXWU)^*out )^*atom1^*table1*vec1^)^ )$*vec2^(*eq^,)^0-i^|-negvec1^x+^t-neq^p( write_symbols_for_countersWU)^*out ) *reftable*vtab%i+^|+^x-i^t%~+^p-vecjl%~-b^h-counter^d+ ^`-h \+ ^X+ ^T_IO_jump_t_IO_FILE_plusR  Iatom.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tmunsigned int&atab( &#[ &#shift&#prefix-# postfix-#other;#next;#0 A#  G# others!G#$int3char}-&ATAB"}astackA+ B&#$ C&# D-#underE# YASTACKFY_version_atom_hU  & _version_atom_cU  & new_tableU  & [ & h |yF & 0 Ax   Gti!&pM extend_table;OU h :  :& [ :&extension<| ncopy_tableOO%U h NcopyPx]F P& firstQt initialize_other_tablenG%U M m T m io&|  p&xothersqGt F q& ;initialize_other_tables{U M z T z compare_symtabs&U M  T  6 & match_symtabsU M  T  rvalue&| 6 & 6 &WU M  T  report&i&|j&x%Fcount1&tnames1Apothers1GlS6name1-hp6found&dscan`count2&\names2AXname2-T set_status_by_name&WU h   - mask&k  &t 0 Ap  Gli&hn-d $find_atompU h Ӣ + & -b  &| [ &x find_atom_by_name&pU h ߢ  -   &| [ &x 0 Ati&pn-l 2find_name-hU h  + & b |0\ [ &x 0 At set_status&hU h  + & mask& b t Gp[ &l/ get_status &=Uh  +  & b |1 Gx[ &t set_name&=Uh + &  -b |^0 Ax[  &t: find_invisible,&Uh +  .&|0 /Axi0&t 3-p table_size?&[Uh >max@&|/TlastC&x set_shiftL[}Uh KshiftK&  set_prefixT}Uh SprefixS- Y set_postfix\Uh [postfix[-  pushf U+ e&$ e&  e-stacke valueg |F g& popr IU+ qG$ qG  qAstackq unders |freex& i  Lrule.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tm __u_char"unsigned char__u_short#short unsigned int__u_int$m__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*1short int__uint16_t+__int32_t,aint__uint32_t-m__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_tm__gid_tm__ino_t__ino64_t__mode_tm__nlink_tm__off_tglong int__off64_t__pid_ta__val#a __fsid_t__clock_tg__rlim_t__rlim64_t__id_tm__time_tg__useconds_tm__suseconds_tg__daddr_ta__swblk_tg__key_ta__clockid_ta__timer_ta__blksize_tg__blkcnt_tg__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_ta__loff_ts__qaddr_ta __caddr_tx ~char__intptr_ta__socklen_tmFILE.  . _flags a# _IO_read_ptr x# _IO_read_end x# _IO_read_base x# _IO_write_base x# _IO_write_ptr x# _IO_write_end x# _IO_buf_base x# _IO_buf_end x# _IO_save_base x#$ _IO_backup_base x#( _IO_save_end x#, _markers #0 _chain #4 _fileno a#8 _flags2 #a#< _old_offset %X#@ _cur_column )#D _vtable_offset *#F _shortbuf +L#G _lock /\#H _offset 8s#L __pad1 > #T __pad2 ? #X _mode Aa#\ _unused2 Cb#`__FILE> wchar_tEg wint_tbm MS__wchQ__wchbRM]~T__countNa#__valueS)#__mbstate_tT] __posX#x #_G_fpos_t#__pos!s#x "#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR  8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH0 6 i ai      aa o  __gconv_step<?__shlib_handleuM#__modnamev! #__counterxa#__from_namezx# __to_name{x#__fct} #__btowc_fct~ #__init_fct #__end_fct # __min_needed_froma#$__max_needed_froma#(__min_needed_toa#,__max_needed_toa#0__statefula#4  #8   __gconv_step_data$@__outbuf #__outbufend #__flagsa#__invocation_countera# __internal_usea#__statepS#x #__trans/#      ___gconv_btowc_fctK   i __gconv_init_fctN   ai __gconv_end_fctO1 7 C i __gconv_trans_fctX\ b  ai        __gconv_trans_context_fct]   a     __gconv_trans_query_fcta  ! a! ,  ' ~ 2 ! __gconv_trans_init_fctdV \ q aq !  __gconv_trans_end_fcte    /__gconv_trans_dataB__trans_fctjC #__trans_context_fctk #__trans_end_fctlw # m # __nextn/#  __gconv_loaded_object 5 __gconv_info__nsteps_#__stepsi # # __gconv_t Y,4__cd2Y# 3 # ,5__cd/Y__combined4_G_iconv_t5_G_int16_t71_G_int32_t8a_G_uint16_t9_G_uint32_t:m__gnuc_va_list+ ~_IO_lock_t _IO_marker _next #_sbuf #_pos a#  L__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconv\~ r~3 H __io_read_fn _/ x_ __io_write_fn h/ ! _ __io_seek_fn p a  a s __io_close_fn s(8a fpos_tXatab( count a#offset a#shift a#prefix x# postfix x#other #next #names # # others !#$ F x aATAB "Fcastack Aatom Ba#status Ca#name Dx#under Ec# ASTACK Fbasic_rule head a# a#pos # a# neg !#BASIC_RULE "wTconstraint_rule $head %a#bound &a# 'a#pos (#  )a#neg *#CONSTRAINT_RULE +choice_rule - .a#head /# 0a#pos 1#  2a#neg 3#CHOICE_RULE 4k8integrity_rule 6 7a#pos 8# 9a#neg :# INTEGRITY_RULE ;weight_rule =head >a#bound ?a# @a#pos A#  Ba#neg C# D#WEIGHT_RULE ENJdisjunctive_rule G Ha#head I# Ja#pos K#  La#neg M#DISJUNCTIVE_RULE N   P Qa#pos R# Sa#neg T# CLAUSE Ubany_rule W X Y Z n [& \, ]2 ^8 w  k  N  bANY_RULE _  atype ba#data c>#next d# NRULE eN_version_rule_hLpU_version_rule_cpU lneg_inv_listaU!cnta!first " l#scan |#last!x$ "at%#atom%ap  neg_inv_basic1aVU" 0" 0l $ 2|   #neg_inv_constraint;aVU" :" :l $ <#| T neg_inv_choiceEaU" D" Dl $ F|$ Gax  neg_inv_integritySaYU" R" Rl $n T| 8 9neg_inv_weight]aYU" \" \l $ ^9|  neg_inv_disjunctivegaU" f" fl $ h|$ iax J neg_invuaU" t" tl @check_negative_invisiblea9U" " l $ a| ~non_basica9hU" $ ~ha check_rule_typesahU" !types $ |%|#foundax#typeat#scanp dnon_atomica.U" %$ | len_basica.NU" $ | len_constraintaNnU" $ #| $len_choiceanU" $ | flen_integrityaU" $n | len_weightaU" $ 9| len_disjunctiveaU" & |',len_clauseaU( &  ,| 'clen_ruleaU( 'len6a,U( 5& 7a|'>compute_statement_lenCa,U( Bl& Da|%A)countGax& Ht)iIap%j)statusLal'number_of_rulesVaU( U& Wa|_IO_jump_t_IO_FILE_plus*stderr*program_name xS" Uinput.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tny __u_char"unsigned char__u_short#short unsigned int__u_int$n__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*2short int__uint16_t+__int32_t,bint__uint32_t-n__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_tn__gid_tn__ino_t__ino64_t__mode_tn__nlink_tn__off_thlong int__off64_t__pid_tb__val#by __fsid_t__clock_th__rlim_t__rlim64_t__id_tn__time_th__useconds_tn__suseconds_th__daddr_tb__swblk_th__key_tb__clockid_tb__timer_tb__blksize_th__blkcnt_th__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_tb__loff_tt__qaddr_tb __caddr_ty char__intptr_tb__socklen_tnFILE.  . _flags b# _IO_read_ptr y# _IO_read_end y# _IO_read_base y# _IO_write_base y# _IO_write_ptr y# _IO_write_end y# _IO_buf_base y# _IO_buf_end y# _IO_save_base y#$ _IO_backup_base y#( _IO_save_end y#, _markers #0 _chain #4 _fileno b#8 _flags2 #b#< _old_offset %Y#@ _cur_column )#D _vtable_offset *#F _shortbuf +M#G _lock /]#H _offset 8t#L __pad1 > #T __pad2 ? #X _mode Ab#\ _unused2 Cc#`__FILE> wchar_tEh wint_tbn NS__wchQ__wchbRN^T__countNb#__valueS*#__mbstate_tT^ __posY# #_G_fpos_t#__pos!t# "#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR  8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH1 7 j bj      bb p  __gconv_step<?__shlib_handleuN#__modnamev" #__counterxb#__from_namezy# __to_name{y#__fct} #__btowc_fct~ #__init_fct #__end_fct # __min_needed_fromb#$__max_needed_fromb#(__min_needed_tob#,__max_needed_tob#0__statefulb#4  #8   __gconv_step_data$@__outbuf #__outbufend #__flagsb#__invocation_counterb# __internal_useb#__statepT# #__trans0#      `__gconv_btowc_fctK   j __gconv_init_fctN   bj __gconv_end_fctO2 8 D j __gconv_trans_fctX] c  bj        __gconv_trans_context_fct]   b     __gconv_trans_query_fcta  " b" -  (  3 " __gconv_trans_init_fctdW ] r br "  __gconv_trans_end_fcte    0__gconv_trans_dataB__trans_fctjD #__trans_context_fctk #__trans_end_fctlx # m # __nextn0#  __gconv_loaded_object 6 __gconv_info__nsteps`#__stepsj # # __gconv_t Z,4__cd2Z# 3 # ,5__cd/Z__combined4_G_iconv_t5_G_int16_t72_G_int32_t8b_G_uint16_t9_G_uint32_t:n__gnuc_va_list+ _IO_lock_t _IO_marker _next #_sbuf #_pos b#  M__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconv] s3 H __io_read_fn _0 y` __io_write_fn h0 " ` __io_seek_fn p b  b t __io_close_fn s)9b fpos_tXatab( count b#offset b#shift b#prefix y# postfix y#other #next #names #. # others !#$ G y bATAB "Gcastack Ak Bb#status Cb#name Dy#under Ec# ASTACK Fbasic_rule  b#7 b#pos #& b# neg !#BASIC_RULE "wPconstraint_rule $ %b#Q &b#7 'b#pos (# & )b#neg *#CONSTRAINT_RULE +choice_rule -p .b# /#7 0b#pos 1# & 2b#neg 3#CHOICE_RULE 4g3integrity_rule 67 7b#pos 8#& 9b#neg :# INTEGRITY_RULE ;weight_rule = >b#Q ?b#7 @b#pos A# & Bb#neg C# D#WEIGHT_RULE EIAdisjunctive_rule Gp Hb# I#7 Jb#pos K# & Lb#neg M#DISJUNCTIVE_RULE N ?  P7 Qb#pos R#& Sb#neg T# CLAUSE UYany_rule Wbasic XF Ychoice Z [" \(_ ].? ^4 w  g  I  YANY_RULE _rule atype bb#data c:#next d# JRULE eJ_rcs_keywordlU out keywordy !ch 2_version'lU kw1&y kw2&y kw3&y"_version_io_h4(U"_version_input_c9(QUerrorEQU msgDy#Vread_basicMVU inL$ Nb|$k Obx$W Pbt$& Qbp$7 Rbl$ Sh!iTbd!newVV`%E Vb&!basicW\\  #4read_constraintVOU in$ b|$Q bx$k bt$W bp$& bl$7 bh$ d!ib`!newV\%% b&$F 4X P#read_choiceVOU in$p b|$k bx$W bt$& bp$7 bl$ h!ibd!newV`% b&!choice\ 'read_integrityVU(in)k b|)W bx)& bt)7  bp) !l*i"bh*new$Vd+ $b&) %` 3'read_weightTVU(inS) Ub|)Q Vbx)k Wbt)W Xbp)& Ybl)7 Zbh) [d*i\b`*new^V\+ ^b&) _X,*wbT 'read_disjunctiveVU(in)p b|)k bx)W bt)& bp)7 bl) h*ibd*newV`+ b&)_ \ A'read_programVU(in*typeb|*programVx*newVt*lastVp';read_symbolsW;U(inV*offsetXb|) Y;x*missingZAt)k [bp-j *nameayl.set_namefb&,*piecep;h*minqbd*maxrb`*scansA\,)k ~bX*nameyT*namesP   i'jread_compute_statementbU(in/ ; *countb|*missingAx)k bt*numberbp*chbl,' *piece;h*minbd*maxb`*scanA\, )k bX*statusbT). P0S read_literalsU(in/? S  *literalbx- O)7 bt)& bp- fz1 b&,1 b&-; *ibp,*ibp ' read_clauseVU(in*newV|+  b&)? S x' digitsbU(nb'!read_cnfVU(in/ ! *chb|*vars bx*clauses bt)k !bp*log"bl*cnf$Vh*new%Vd*last&V`*names(\). )X,e*nameJyT1 Jb& ;_IO_jump_t_IO_FILE_plus2stderr3program_nameByDa3max_atom bHa#V-output.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_to3 __u_char"unsigned char__u_short#short unsigned int__u_int$o__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*3short int__uint16_t+__int32_t,cint__uint32_t-o__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_to__gid_to__ino_t__ino64_t__mode_to__nlink_to__off_tilong int__off64_t__pid_tc__val#c3 __fsid_t__clock_ti__rlim_t__rlim64_t__id_to__time_ti__useconds_to__suseconds_ti__daddr_tc__swblk_ti__key_tc__clockid_tc__timer_tc__blksize_ti__blkcnt_ti__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_tc__loff_tu__qaddr_tc __caddr_tz char__intptr_tc__socklen_toFILE.  . _flags c# _IO_read_ptr z# _IO_read_end z# _IO_read_base z# _IO_write_base z# _IO_write_ptr z# _IO_write_end z# _IO_buf_base z# _IO_buf_end z# _IO_save_base z#$ _IO_backup_base z#( _IO_save_end z#, _markers #0 _chain #4 _fileno c#8 _flags2 #c#< _old_offset %Z#@ _cur_column )#D _vtable_offset *#F _shortbuf +N#G _lock /^#H _offset 8u#L __pad1 > #T __pad2 ? #X _mode Ac#\ _unused2 Cd#`__FILE> wchar_tEi wint_tbo OS__wchQ__wchbRO_T__countNc#__valueS+#__mbstate_tT_ __posZ# #_G_fpos_t#__pos!u# "#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR  8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH2 8 k ck      cc q  __gconv_step<?__shlib_handleuO#__modnamev# #__counterxc#__from_namezz# __to_name{z#__fct} #__btowc_fct~ #__init_fct #__end_fct # __min_needed_fromc#$__max_needed_fromc#(__min_needed_toc#,__max_needed_toc#0__statefulc#4S  #8   __gconv_step_data$@__outbuf #__outbufend #__flagsc#__invocation_counterc# __internal_usec#__statepU# #__trans1#      a__gconv_btowc_fctK   k __gconv_init_fctN   ck __gconv_end_fctO3 9 E k __gconv_trans_fctX^ d  ck        __gconv_trans_context_fct]   c     __gconv_trans_query_fcta  # c# .  )  4 # __gconv_trans_init_fctdX ^ s cs #  __gconv_trans_end_fcte    1__gconv_trans_dataB__trans_fctjE #__trans_context_fctk #__trans_end_fctly #S m # __nextn1#  __gconv_loaded_object 7 __gconv_info__nstepsa#__stepsk #S # __gconv_t [,4__cd2[#S 3 # ,5__cd/[__combined4_G_iconv_t5_G_int16_t73_G_int32_t8c_G_uint16_t9_G_uint32_t:o__gnuc_va_list+ _IO_lock_t _IO_marker _next #_sbuf #_pos c#  N__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconv^ t3 H __io_read_fn _1 za __io_write_fn h1 # a __io_seek_fn pc c u __io_close_fn s*:c fpos_tXatab( count c#F c# c#prefix z# postfix z#other #next #@ # #  !#$ H z cATAB "HYastack A% Bc#status Cc# Dz#under EY#  ASTACK F basic_rule head c# c#pos # c# neg !#BASIC_RULE "mHconstraint_rule $head %c# &c# 'c#pos (#  )c#neg *#CONSTRAINT_RULE +choice_rule -* .c#head /# 0c#pos 1#  2c#neg 3#CHOICE_RULE 4_,integrity_rule 6 7c#pos 8# 9c#neg :# INTEGRITY_RULE ;weight_rule =head >c# ?c# @c#pos A#  Bc#neg C#Z D#WEIGHT_RULE EB<disjunctive_rule G* Hc#head I# Jc#pos K#  Lc#neg M#DISJUNCTIVE_RULE N   P Qc#pos R# Sc#neg T# CLAUSE UT any_rule Wbasic X  Ychoice Z [Z \# ]) ^/ m  _  B  TANY_RULE _  atype bc#data c5#next d# ERULE eE_version_output_cU write_nameU!out" z !prefixz!postfixz  write_atom-^U" ,c!out, "% ,c"a ,#M .|$+#F 1cx# 2ct#@ 3p# 4zl  cwrite_other_atomZ^U" Yc!outY "% Yc"a Y#M [|$V%other^x# _t#F `cp Fwrite_literal_listwu U" sc!outs " sz" tc!post" uc!negu "Z v$"a v(%scanx|%lastyx%wscanzt%wlast{p write_basicu  U" c!out " "a %scan|%lastx# ct# cp%basicl   write_constraint % U" c!out " "a ż# c|# cx# ct# ˉp H 1write_choice%  U" c!out " "a #* c|# cx# ct# zp%choice1l &write_integrity DU' c(out ' 'a )scan|)lastx*  ct* !cp* #l ,&write_weightBDU' Ac(outA ' A'a A* Cc|* Dcx* Ect*Z Gp &9write_disjunctiveg|U' fc(outf ' f'a f** hc|* icx* jct* kzp* m9l <&write_clause_as_rule|U' c(out ' 'a * c|* cx*% ct* p &Cwrite_ruleU' c(out ' 'a &write_programU' c(out ' 'a &write_symbolsU' c(out 'a $)countc|*F cx* ct*@ p)icl$;*% ch+z!* zd$)* zd& write_compute_statement(U' 'c(out' 'a '(mask'c)first)c|$)count,cx*F -ct* .cp* /l)i0ch$*% 3cd)status4c`&L!write_classical_atom`SU' _c(out_ '% _c'a _*M a|$# *F dcx* ect*@ fp* gzl&"write_other_classical_atomSU' c(out '% c'a *M |$xJ*F cx)othert* p&"write_classical_literal_listU' c(out ' c(pos' c(neg'a  )scan|)lastx&V#write_clauseU' c(out (cnf'a )typec|* x* ct* cp&#write_cnfU' c(out (cnf'a _IO_jump_t_IO_FILE_plus,stderr,program_name z(Etranslate.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tr __u_char"unsigned char__u_short#short unsigned int__u_int$r__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*6short int__uint16_t+__int32_t,fint__uint32_t-r__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_tr__gid_tr__ino_t__ino64_t__mode_tr__nlink_tr__off_tllong int__off64_t__pid_tf__val#f __fsid_t__clock_tl__rlim_t__rlim64_t__id_tr__time_tl__useconds_tr__suseconds_tl__daddr_tf__swblk_tl__key_tf__clockid_tf__timer_tf__blksize_tl__blkcnt_tl__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_tf__loff_tx__qaddr_tf __caddr_t} char__intptr_tf__socklen_trFILE. t . _flags f# _IO_read_ptr }# _IO_read_end }# _IO_read_base }# _IO_write_base }# _IO_write_ptr }# _IO_write_end }# _IO_buf_base }# _IO_buf_end }# _IO_save_base }#$ _IO_backup_base }#( _IO_save_end }#, _markers #0 _chain #4 _fileno f#8 _flags2 #f#< _old_offset %]#@ _cur_column )#D _vtable_offset *#F _shortbuf +Q#G _lock /a#H _offset 8x#L __pad1 > #T __pad2 ? #X _mode Af#\ _unused2 Cg#`__FILE> wchar_tEl wint_tbr RS__wchQ__wchbRRbT__countNf#__valueS.#__mbstate_tTb __pos]#l #_G_fpos_t#__pos!x#l "#_G_fpos64_t#&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR " 8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH5 ; n fn      ff t  __gconv_step<?__shlib_handleuR#__modnamev& #__counterxf#__from_namez}# __to_name{}#__fct}" #__btowc_fct~ #__init_fct #__end_fct # __min_needed_fromf#$__max_needed_fromf#(__min_needed_tof#,__max_needed_tof#0__statefulf#4#  #8   __gconv_step_data$@__outbuf #__outbufend #__flagsf#__invocation_counterf# __internal_usef#__statepX#l #__trans4#      d__gconv_btowc_fctK   n __gconv_init_fctN   fn __gconv_end_fctO6 < H n __gconv_trans_fctXa g  fn        __gconv_trans_context_fct]   f     __gconv_trans_query_fcta  & f& 1  ,  7 & __gconv_trans_init_fctd[ a v fv &  __gconv_trans_end_fcte    4__gconv_trans_dataB__trans_fctjH #__trans_context_fctk #__trans_end_fctl| ## m # __nextn4#  __gconv_loaded_object : __gconv_info__nstepsd#__stepsn ## # __gconv_t ^,4__cd2^## 3 # ,5__cd/^__combined4_G_iconv_t5_G_int16_t76_G_int32_t8f_G_uint16_t9_G_uint32_t:r__gnuc_va_list+ _IO_lock_t _IO_marker _next #_sbuf #_pos f#  Q__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconva w3t H __io_read_fn _4 }d __io_write_fn h4 & d __io_seek_fn pf f x __io_close_fn s-=f fpos_tXatab(  f# f#shift f#prefix }# postfix }#other #next # # #  !#$ K } fATAB "KZastack A Bf# Cf#name D}#under EZ# ASTACK Fbasic_rule  f# f#pos #} f# neg !#BASIC_RULE "nGconstraint_rule $ %f# &f# 'f#pos (# } )f#neg *#CONSTRAINT_RULE +choice_rule - .f# /# 0f#pos 1# } 2f#neg 3#CHOICE_RULE 4^*integrity_rule 6 7f#pos 8#} 9f#neg :# INTEGRITY_RULE ;weight_rule = >f# ?f# @f#pos A# } Bf#neg C#* D#WEIGHT_RULE E@8disjunctive_rule G Hf# I# Jf#pos K# } Lf#neg M#DISJUNCTIVE_RULE N   P Qf#pos R#} Sf#neg T# CLAUSE UPany_rule Wbasic X Y Zintegrity [$* \*disjunctive ]0 ^6 n  ^  @  PANY_RULE _  atype bf#data c<#next d# LRULE eL_version_translate_hU_version_translate_c U tr_literal_list# "U! f"out !  f"pos !} !f"neg!!* " ! "$! "(#g $|# %x$wscan&t$wlast'p   str_basicN"Z#U! Mf"outM ! Ms! M! M#g O|# Px# Qft#} Rfp$basicTyl   tr_constrainttZ#$U! rf"outr ! rs! s! s# uf|#} vfx# wft# yp G tr_choice$x&U! f"out ! s! ! # f|# fx#} ft#g p# l# h%%q&# fd  tr_weightx&'U! f"outǼ ! s! ! # f|#} fx# ft#* ͗p  tr_rule'(U! f"out ! s! ! &jtr_program((U' f(out ' s' ' &[tr_compute_statement(+U'  f(out  '1  '  f%)+) f|) x) t*ifp%D)+) fl) fh*name}d) f`&tr_invisible_list^+.U' Yf(outY ' Zf' Z' [f(pos['} \f (neg\$'* ](' ],' ]0' ]4)g _|) `x*wscanat*wlastbp%-.*piecel) h) fd&~tr_invisible_basic.m0U' f(out ' s' ' ' )g |) x) ft)} fp*basicyl&Atr_invisible_constraintm01U' f(out ' s' ' ' ) f|)} fx) ft) p&D tr_invisible_choice1<4U' f(out ' s' ' ' ) f|) fx)} ft*ifp*invisible_head_cntfl) h%R22) fd&!tr_invisible_weight/<45U' -f(out- ' -s' .' .' .) 0f|)} 1fx) 2ft)* 4p&!tr_invisible_ruleY56U' Wf(outW ' Ws' X' X' X&"tr_invisible_partt67U' rf(outr ' rs' s' s' s&P#tr_invisible_compute_statement78U' f(out '1 (maskf*firstf|%378) fx) ft*shiftfp*other_tablel) h*ifd%z78) f`*otherf\%78*name}X%78) fT&$gen_inclusion_rules8n:U' f(out '1 %9g:) f|) x*ift%39W:) fp) fl&$gen_diff_rulesn:<U' f(out '1 ' f%:<) f|) x*ift%:;) fp) fl&%gen_diff_invisible<>U' f(out '1 ' f%!<>)  f|)  x*i ft%W<>) fp) fl) h*name}d*otherf`&d&gen_classical_rules=> @U' <f(out< '1 <%>@) ?f|*i@fx) At%$??) Dfp) Efl&%'gen_submodel_rulesa @BU' `f(out` '1 `' `f%@B) cf|) dx*ieft%J@B) hfp) ifl&'tr_clauseBDU' f(out (cnfs'1 ' f*typef|) 'x) ft)} fp)g l) h &w(tr_cnfDEU' f(out (cnfs'1 ' f*firstf|)g sx_IO_jump_t_IO_FILE_plus+stderrD/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crtn.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csuGNU AS 2.15%% : ; I$ > $ >  : ;  : ; I8 I!I/  I : ;I  : ; : ; I  : ; ( ' II : ; &I'  < !I4: ; I?  %% : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ;  : ; I.? : ; @ .? : ; I< !".? : ; I< #.? : ; @ $.? : ; ' I@ %: ; I &4: ; I '4: ; I (.? : ; ' @ ): ; I *.? : ;' @ +: ;I ,: ;I -4: ;I . /.? : ;I< 0.? : ;I< 14: ;I 2.? : ;I< 3.? : ;' I@ 4 54: ; I? < 64: ; I?  % : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ;  : ; I.? : ; @ .? : ; I< !".? : ; ' I@ #: ; I $: ; I % &4: ; I '.? : ; I< (4: ; I ).? : ; ' @ * % : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ; .? : ; @ .? : ; ' I@ : ; I !4: ; I "4: ; I #.? : ; I< $% &: ; I '.? : ; ' @ (.? : ;' @ ): ;I *: ;I +4: ;I , -4: ;I % : ; I$ >  : ;  : ; I8  : ; I8  I.? : ; @ .? : ; I<  .? : ; ' I@ : ; I 4: ; I .? : ; I< 4: ; I .? : ; ' @ .? : ; ' I@ : ; I  4: ;I .? : ;' I@ : ;I 4: ;I .? : ;' @ : ;I .? : ;I< .? : ;' I@ .? : ;I< % : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ;  : ; I.? : ; @ .? : ; ' I@ !: ; I ": ; I #4: ; I $4: ; I % &4: ;I '.? : ;' I@ (: ;I )4: ;I *4: ; I? < % : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ;  : ; I.? : ; ' @ : ; I !4: ; I ".? : ; @ #.? : ; ' I@ $4: ; I %.? : ; I< &'.? : ;' I@ (: ;I )4: ;I *4: ;I +.? : ;I< , - ..? : ;I< /: ;I 0.? : ;' @ 1.? : ;I< 24: ; I? < 34: ; I?  % : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ;  : ; I.? : ; @ .? : ; ' @ !: ; I ": ; I #4: ; I $ %4: ; I &.? : ;' @ ': ;I (: ;I )4: ;I *4: ;I + ,4: ; I? < % : ; I$ > $ >  : ;  : ; I8 I!I/  I  : ; : ;I8 : ;I  : ;  : ; I : ; I8  : ; ( ' II : ; &I'  < !I: ;  : ; : ;I : ;  : ; I.? : ; @ .? : ; ' @ !: ; I ": ; I #4: ; I $4: ; I % &.? : ;' @ ': ;I (: ;I )4: ;I *4: ;I +4: ; I? < %S/ ../sysdeps/i386/elfstart.S .01:"VWYX  /usr/lib/gcc-lib/i486-linux/3.3.5/include../sysdeps/generic/bits../wcsmbs../sysdeps/gnu../iconvinit.cstddef.htypes.hwchar.h_G_config.hgconv.h[ /home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csucrti.SF2,Wd ",:D ,Wdd,,-: /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeutilslp2atomic.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hscc.hcounter.hdVVVVV.dHHHHHJ +,rrrsrrrsrrsIrsrrsrrs:-.ddd%sqԹdVdsd%Kd!!/:-KD---,(-d,uD--,-,d-d,-,s,#0.dd,dz+ +2dQQ/d-**/''**-".deIe,/dee,/d,Ie0/d,**s'**00g>d/e,Ie,1drsXd/,,Ie-,,,Ie,":2dHQXXd/,,,,-,,,,Ie47,,,,,-,,,,,s,),,:2drrw>R,,Ie-R,,,Ie,"HHrsZR,,Ie-R,,,,Ie,,Ie*:.ds𜋃r Ud/s:Hs'd,.V' usH'<Jsrrsrrrusd..'VIYddtc,JYHbYHHw0 ~Vd+,,-,Ie~+ /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeutilsscc.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hscc.h( d0r,ԫrXres-wq:fddgIVs-,z qeI.dsdVƟ:0dHr+Hd*emrr+I-:.drusV'  q /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeutilscounter.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hscc.hcounter.hd0r:ese:Hdsrcƀd:fr,rXds::.dddd +dr,-;,-,p+sed..  q +dr,,-=,-,.,0,N+4s;F.99k. +ds-:,&Ids$( q +dr,-;,,-,,,-,,,-,,,F+>s;8.CxC +dru,/,,,,,-=,,-,,f+s(55  q1rs:IrH:e$Ie$u+:e'Ie'u+:e$Ie$u+:e'Ie'u+GZ /usr/lib/gcc-lib/i486-linux/3.3.5/includeatom.cstddef.hatom.h d.dV0d::s:7v:0dIY:.rg:hdr;,:.r0d.e.dժ:-re:-rx+ qոgrZs,#yrr,rXrs,vrXdIdrXId-rdIdrXdIdrrZrs-6vrZdsԬ:.H.H.H0d『:.d: /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includerule.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hio.hLd.dV0ddsVr:.d$rXd$rXds&:.d$rXd$rXds&:.dggggƺXds:0dH.ddrer-rXrrZd.d.d:.d.d.d.d.d//'Xds:.dss,v:.drV: /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeinput.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hf;HVK.dH:H:H:H0d.dV2d%drrrrrrs㎎ԸԹԹdԹ,z qԹ,z q:.drrrrrrrs䎎ԸԹԹԹdԹ,z qԹ,z q:.drrrrrrs㎎ԹԹ,z qԹԹdԹ,z qԹ,z q:.drrrrrs㎎ԹԹdԹ,z qԹ,z q:.drrrrrrrs䎎ԸԹԹԹdԹ,z qԹ,z qsԹz+ q:.drrrrrrs䎎ԹԹ,z qԹԹdԹ,z qԹ,z q:.drrrsǪsddddXddddXddddXddddXdddd...dddk#:0drdrsǪsԹ$#r#rr$u:0drrrsdǀ%dǀ%Իr#rr$+:0rsԼdd<Xdtvfd㎎:.dd,d$rXdrrsrrsrsV&Vdd(w:y /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeoutput.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hio.hd0dddd,,d.dIsvd+XXd+.,%.dI$#H4%1drrd:,dd,v Ud:x U$0drrrsd-d$;-K;,..drrsd-d+dKd,..drrrsdd-ddsId-d$:-K:,..drrrsd-d$;-K;,..drrsd-d+dMd,..drrrsdd-ddsId-d$:-K:,..drrVdƽd-』d$:-K:,-.dXȹXXXȹ....r.rs:;sd/Jd-df+.dss:-6,XX,-,`+&0dIsd+X.,%.dI$H4%2drs,d:,x+ Ud:,y+ +.ddH;:Hd..r /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includetranslate.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hd.dV3drrdd,r$d,s+Uddx+ U$.drrrsd-d$d-Jd,./drrsd-d+dJd,..drrrrsd,d%d-J:-d,f+U.drrsd-d+dLd,..d4'X'.'.'..r'.rs:,0Wed,.d2ed,.dK+= +drrdrddz+ +d,r$d,t+Ufd6$dm+U$/drrrsrWd-d$d-ad,./drrsrWd-d+dad,./drrrrsWvdd-bd-d$:-ad,./drrsrWd-d+dcd,./d4.X......1y./dss:-II,.g0rs:de,,.,,l+.rs:d,,X,j+.rs:,-:,-,,X,-,^+).rr:de,,.,o+.rs:d,,-,,X,,-,^+*0drsdHd,d,,dHd,tcUd,d,,dHd,tcU.dde,,d,Vd,tdHd.[ /home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csucrtn.SF:! | [AB ?AB YAB <VAB AB AB AB AB 7AB ԔAB ەAB f!AB AB WAB ٢AB jAB 0AB | ($AB LiAB )AB D޴)AB LAB SAB jAB | l$AB l<AB DlκgAB l57AB llrAB l޻AB leAB l$AB lAB lXAB lW>AB | $AB )AB AB AB OAB D%lAB .AB "AB %AB QAB WAB ERAB pAB YAB h|AB EYAB =`AB }AB AAB ["AB }"AB "AB =AB KAB | L$AB p)AB uAB HAB VHAB sAB HAB YHAB sAB AB >AB 9/AB htAB RAB . AB N AB n%AB AB 0AB  AB AB AB 7AB ,AB *AB | `AB `lAB `$AB `()AB `Q7AB `GAB `AB `OAB `AB `AB `AB `TAB `AB `AB `AB D`~AB `UAB `AB | ( $AB ( AB ( AB ( ^-AB ( AB ( u ^AB ( RAB ( % AB ( ;AB ( DTAB ( AB ( |AB ( AB ( <AB ( AB ( RAB ( UAB ( S,AB ( GAB ( AB ( <AB | 4 $AB 4 )AB 4  AB 4 "AAB 4 Z#QAB 4 $AB 4 x&SAB 4 'AB 4 (CAB 4 (AB 4 ++AB 4 .uAB 4 m0AB 4 1GAB 4 <4AB 4 5 AB 4 6JAB 4 7AB 4 8yAB 4 n:AB 4 <AB 4 >&AB 4 @AB 4 B#AB 4 DAB _G_int32_t__time_t__GCONV_INCOMPLETE_INPUT__GCONV_OK__state__gconv_init_fct_G_iconv_t__rlim64_t__GCONV_ILLEGAL_DESCRIPTOR__gconv_infoshort unsigned intunsigned char__useconds_t__counter__fct__val__value__nsteps_G_int16_t__max_needed_from__gconv_btowc_fct__off_t__ssize_t__statepinit.c__fsfilcnt_t__steps__fsfilcnt64_t__blkcnt_t__gconv_loaded_object_G_fpos64_t__gconv_t__trans_end_fct__u_int__GCONV_ILLEGAL_INPUT__blksize_t__to_name__uint64_t__id_t__GCONV_EMPTY_INPUT__cd__ino_t__GCONV_NOCONV__invocation_counter__pid_t__u_short__count__quad_t__u_long__fsid_t__GCONV_FULL_OUTPUT__max_needed_to__timer_t__stateful__uint32_t__key_t__u_char__gconv_step__shlib_handle__min_needed_toshort int__dev_tlong long int__gconv_trans_data__outbuflong long unsigned int__uid_t__wchb__uint16_twint_tGNU C 3.3.5 (Debian 1:3.3.5-12)__u_quad_t__gconv_trans_end_fct__flags__outbufend__combined__gconv_trans_init_fct__init_fct__modname__trans_context_fct__trans_fct__rlim_t__wch__intptr_t__suseconds_t__ino64_twchar_t__GCONV_IS_LAST__blkcnt64_t__fsblkcnt64_t__mode_t__qaddr_t__pos__gconv_end_fct_IO_stdin_used__internal_use__GCONV_NODB__clock_t__gconv_step_data__gconv_trans_query_fct__socklen_t__int64_t__GCONV_NOMEM__off64_t__btowc_fct_G_fpos_t__int8_t/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/glibc-2.3.2/csu__daddr_t__fsblkcnt_t_G_uint32_t__nlink_t__swblk_t__GCONV_INTERNAL_ERROR__mbstate_t__gid_t__clockid_t__int32_t__gconv_trans_context_fct__next__GCONV_IGNORE_ERRORS__end_fct__trans__uint8_t__gconv_fct__from_name__min_needed_from__gconv_trans_fct__data__caddr_t_G_uint16_t__loff_t__int16_t__state_IO_FILEcounter3neg_cntnegtablecountpos_cntmintablebasicnxt_tablelthannewatomgenerate_equalitytable2generate_lthanstylecounter2atombody_truebitshead_cntcontradictionsupptableunsigned intcounterscc_sizewrite_atom_if_possibleatom2successorheadoffsetbody_false__datareftabletable__state_IO_FILEmax_atomneg_cntcountpos_cntreferencesbasicrvaluehead_cntunsigned intreftabheadoffset__data__state_IO_FILEneg_cntcountpos_cntnegvectable2stylenegvec2atombitshead_cntunsigned intscc_sizeatom2successoroffsetbody_false__datatablestatusescount_versionnamestatusatomnamescombine_symtabsmalloctable1table2offsetpiecetableintegrity__state_IO_FILEneg_cntstatusesprogrampos_cntbasicclausechoiceruleconstraintdisjunctivervaluehead_cntunsigned int__dataweighttableintegrity__state_IO_FILEneg_cntstatusespos_cntclauseconstraintboundlit_cntdisjunctiveatomhead_cntunsigned intmallochead__dataweighttableintegrity__state_IO_FILEneg_cntstatusesseparatorpos_cntclauseothersnameshiftruleconstraintbounddisjunctivestyleatomhead_cntunsigned intnamesoffsetpiece__dataweighttablescan__state_IO_FILEneg_cntstatusescountpos_cntclausechoicelastothersruleconstraintboundnewatomtable1table2table3stylestatusatomhead_cntunsigned intnamesheadoffset__dataweighttable.symtab.strtab.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.debug_aranges.debug_pubnames.debug_info.debug_abbrev.debug_line.debug_frame.debug_str#(( 1HH7 `?LLGo  ,ToLL0c || l p u  p$${  FG `  ` `````H4a44Hx  c0- ;7 H+Np!Z _ (HL L|  $  F G` ``````4a !ValaaVaNVYD it````@ap  i`` ``F NVams}W VH (  @ ) e  .9/ 8(C C}" NZ#Q \ i  y.  0 ٢  DT ` %  Ԕ $ Li > 28y FW> a0 l u?R ? Y G .u   #l O s u ^ (`9$ G<4 [s jht {6J `[ j @FP m0 N   X S !, 7H IR a  q<   DaR # ~ 1G κg n% 4a8a1 @< Nlr eQ uh| < YH   B# L 7 U H($ . p) !L$ 1 >" J) Z$ l7 x&S  H G $ j  ; ` K   ޴) , ET < n: K 4aW D ^  k Y p ++ ^-   A ` =` '  < f!  ` !  * $ = F C  L 5  ^  q  Q7 " Ha  % S, U *   ()  '  9 <V K | ` $ p R 4a  F `  La W T & $ ە  "A  4 } ޻  ` 7  -  8 L = Q [" [ O g p y %l u /home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/config.habi-note.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/abi-tag.hinit.c/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crti.S/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/defs.hinitfini.ccall_gmon_startcrtstuff.c__CTOR_LIST____DTOR_LIST____JCR_LIST__p.0completed.1__do_global_dtors_auxframe_dummy__CTOR_END____DTOR_END____FRAME_END____JCR_END____do_global_ctors_aux/home/drow/debian-glibc/glibc-2.3.2.ds1/build-tree/i386-libc/csu/crtn.Slp2atomic.cscc.ccounter.catom.crule.cinput.coutput.ctranslate.ctr_binaryneg_inv_constrainttr_compute_statementgen_submodel_rulesinitialize_referencesgenerate_nxt_rcs_keywordfgetc@@GLIBC_2.0non_basictr_programset_prefixtr_constraintwrite_clausetr_literal_listlen_basictr_atomstr_generalgenerate_unarywrite_weightungetc@@GLIBC_2.0_DYNAMICderive_headwrite_choiceforce_supportednessgenerate_clearfind_referencecheck_negative_invisiblegen_inclusion_ruleswrite_symbols_for_counterslen_weightlen_rulestrcmp@@GLIBC_2.0find_atomusageget_status_fp_hwwrite_symbolstr_invisible_basicread_weightwrite_namefprintf@@GLIBC_2.0_versioncopy_tableneg_inv_disjunctivewrite_basic__fini_array_end_version_io_htr_invisible_weightneg_inv_choicecheck_rule_typestr_invisible_part__dso_handle_version_lp2atomic_cnon_trivial__libc_csu_finitr_invisible_constraintlen_constraintread_compute_statementgenerate_equalityvisitcompute_statement_lenneg_inv_integritywrite_compute_statementlen_disjunctiveallocate_counters_initmalloc@@GLIBC_2.0program_namenon_atomicfscanf@@GLIBC_2.0read_constraintread_clausetr_invisible_choicefind_vectorslen_choicestdout@@GLIBC_2.0stderr@@GLIBC_2.0read_integritywrite_programwrite_atom_if_possiblecombine_symtabsset_statuswrite_cnfneg_inv_weight_starttr_clausecount_ontr_invisible_compute_statementdigitsfputs@@GLIBC_2.0_version_scc_cinitialize_other_tables_version_rule_c_version_rule_hextend_tableset_postfix_version_atom_c_version_output_ccheck_supportednesstr_weightwrite_atomneg_inv_basicread_basic_version_translate_hstrongly_connected_componentswrite_integrity__fini_array_startpopfputc@@GLIBC_2.0compute_references__libc_csu_initgen_diff_rules__bss_starttr_cnftr_atom_listmaintr_invisible_listwrite_other_atomevaluate_body__libc_start_main@@GLIBC_2.0table_size__init_array_endset_nametr_ruleread_literalsgen_diff_invisibletr_atomicdata_starttr_unary_version_counter_c_finiread_cnftr_invisible_rulewrite_literal_listread_disjunctiveerrorcompare_symtabsmax_atomread_symbolsmatch_symtabswrite_other_classical_atomwrite_classical_atomnumber_of_rulesnew_table_version_input_cexit@@GLIBC_2.0write_disjunctivedefine_complementwrite_clause_as_rule_version_atom_hwrite_constraint_edatalen_integrity__i686.get_pc_thunk.bx_GLOBAL_OFFSET_TABLE_free@@GLIBC_2.0_endset_status_by_nameread_programstdin@@GLIBC_2.0log2write_classical_literal_listfopen@@GLIBC_2.1_version_translate_c__init_array_startfind_name_IO_stdin_usedlen_clausegen_classical_rulestr_choicetr_basic_as_atomicneg_invtr_basicgenerate_lthansprintf@@GLIBC_2.0find_invisiblegenerate_sel__data_startlen_IO_getc@@GLIBC_2.0write_rule_Jv_RegisterClassespushset_shiftread_choicefind_atom_by_nameinitialize_other_table__gmon_start__neg_inv_list