ELF 4d4 ("444UU4LUU((( Qtd/lib/ld-linux.so.2GNU     h5a?J#C<#.8VvED$ ED$E D$E$ED$D$2E $E$D$ E D$E D$E$E@D$D$U3E $ED$ ED$E D$E$iD$:3E $E$D$ E D$E D$E$6D$L2E $cD$ E0D$E D$E$D$S2E $/ED$D$23E $ED$ ED$E D$E$D$:3E $E$D$ E D$E D$E$ED$D$:2E $ED$ ED$E D$E$HED$D$2E $nE$D$ E D$E D$E$E@D$D$U3E $3ED$ ED$E D$E$D$:3E $E$D$ E D$E D$E$D$L2E $D$ E0D$E D$E$lD$S2E $EgE D$$q2!}EE;E|E0D$EED$EED$ EE,D$D$2E $!E0D$EE,D$ EED$D$s2E $E@;EE0D$EE@D$EE(D$EED$ EE,D$D$2E $E0D$EE@D$EED$EED$ EE,D$D$2E $`EU(EEEEEE(EE,@E}ED$D$d3E $ ED$ ED$E D$E$E D$$*2E$D$ E D$E D$E$wE D$$,2D$y3E $ED$ ED$E D$E$1D$:3E $^E$D$ E D$E D$E$D$~3E $+ED$ ED$E D$E$D$:3E $E$D$ E D$E D$E$D$L2E $D$ E0D$E D$E$dD$S2E $EE;E|ZED$D$3E $cED$ ED$E D$E$D$:3E $0E$D$ E D$E D$E$ED$D$:2E $ED$ ED$E D$E$ED$D$2E $E$D$ E D$E D$E$\D$L2E $D$ E0D$E D$E$(D$S2E $UED$D$3E $;ED$ ED$E D$E$D$:3E $E$D$ E D$E D$E$ED$D$`2E $ED$ ED$E D$E$nED$D$2E $E$D$ E D$E D$E$4D$L2E $aD$ E0D$E D$E$D$S2E $-EE D$$q2@}E0D$ED$ E,D$D$s2E $EE;E|qE0D$EE(D$EED$ ED$D$2E $E0D$EED$EED$ ED$D$2E $^EUH}u*EEE@EEEE;E~EEEED$E$E}EE@EE@EED$E$dE܋E܋@E؋E@$5EEE;E|}uYED$ EED$D$3E $kED$ ED$E D$E$]1E D$$q2h^}uXED$ EED$D$3E $ ED$ ED$E D$$0E D$$q2E,EE;E|}u\ED$ EEED$D$3E $ED$ ED$E D$E$0E D$$q2a}u[ED$ EEED$D$3E $+ED$ ED$E D$$0E D$$q2'E&EE;E|}uYED$ EED$D$3E $ED$ ED$E D$E$/E D$$q2^}uXED$ EED$D$3E $PED$ ED$E D$$A/E D$$q2LE,EE;E|}u\ED$ EEED$D$3E $ED$ ED$E D$E$.E D$$q2a}u[ED$ EEED$D$ 4E $oED$ ED$E D$$`.E D$$q2kE&EE@EÐUD$4D$/4$L4UD$4D$a4$~4U$(EE$EE$EEUEUE BE@E@ E@E@E@UEBUEB E@$EE;E~/EEEEENjEUED$E $EUE@BUE@ B UE@BExtE@D$E$Exu E@EUEBEUS$(ZEEE}uUEUE@BUE@BUE@ B UE@BUE@BUE@BUE@ B UE@$B$E@Et ]$(CE@E^E@OE[]UEEEE$qEUE BUEB$EE;E~EEEۋEU}uE D$E$sE@EUD$E D$E$'UD$E D$E$EU8EE}u&EEE@EE@$EEE;E~EEE}EE E}}EE܋E@EEE;E~XEE؋Eԃ}t8ED$Eԉ$u"E UE@E EE랋E@Ed}u}tE@EEE E@EEEUVS }uEEE@EE@ EEEE;E~bEEE}tBE D$E$u,EuE UE  EE딋E@ESEE [^]U }u7EEE@EE ;E~EE9E EEE@EEEU(}uEEE@EE@EEEE;E~AEEE}t!E D$E$轿u EEEE뵋E@EtEEUE D$E$E}t,E@EE@EUE )ЍEEEEUVS E D$E$E}tHE@ EE@EUE )ЍuUE )Ѝ UE  EEE [^]UE D$E$"E}t,E@ EE@EUE )ЍEEEEUE D$E$E}t3E@EE@EUE )Ѝ UE EEEU}ubEEE@EEEE;E~.EEE}uE@EEEȋE@EEEUE}u'UEBEE;E~EEE@EыEU吃}uUE BE@E]U吃}uUE B E@E]U吃}uUE BE@E]U$EUEUE BUEBUEB EUE@ EUE} t E UR}t EURE$ؼEÐUD$4D$4$4UD$4D$4$5U(E EEE EEE;EuGEEED$E$3u!ED$ED$E$gE믋EUE@EEx t$E D$E@D$E@ $TEEEUE@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@$QEEEUE@EExt$E D$E@D$E@$ EEEUE@EEE8t!E D$E@D$E$EExt&E D$E@D$E@$E EUEEU:U45E D$E$EE D$E$EE D$E$EoE D$E$xEXE D$E$EAE D$E$E*ED$D$5E$UE}u $= }t UEBEEEE^E$ZE}u $=}t UEBEEEEE$E}u $=}t UEBEEEEE$ E}u $=C}t UEBEEEEE$E}u $=}t UEBEEEEY$ >K$`>=E$`E}u $>}t UEBEEEEED$D$=6E$$=Z EUHEED$LV$EEEED$D$=6E$t $>}uEED$D$>E$At $>ED$ED$E$u$ED$ ED$D$E$EED$D$=6E$ՠ_$>EN}EEEEEE@ E܃}u+E܋;E}EEE܋;E~EEE܋@ E͋EHD$UE)@D$E$?E}uSEEE@EЋED$ EԉD$D$E؉$-EUE)EЍPEԉ륋EUHE EEEEEE$VE}Bt}u搋E$;E}+t}u}u $?ED$D$=6E$Pt $@?}upD$ED$E $u%ED$ D$D$E$EED$D$=6E$ٞt$h?M눐E$jE}Bt}u搋E$OE}-t}u}u $?ED$D$=6E$dt $?}upD$ED$E $u%ED$ D$D$E$EED$D$=6E$t$h?a눍ED$D$=6E$t $@4}EEEEEE@ E܃}u+E܋;E}EEE܋;E~EEE܋@ E͋EHD$UE)@D$E $3E}ufEEE@ EЋED$ D$EԉD$E؉$!EUE)EЍHUE)EЍPE 뒋EUS$EED$D$=6E$蔜t $!@}uKE EE @E}t] E$EC}] E$'C p}~4E UE D$E$TU E RE 6E P@UE D$E$U E R E؉ $[]U$ 蚛E$苛EE UEBE@EE@E@E@ ED$E$EU}yE؉$@E1} ~$Mgfff)‰Љ$@EEEUHEEEEEEEEEEE$E}ct} uE$EED$E$ED$ ED$D$9@E$<t $`@E$蟚E}ct} uE$聚EED$E$誙UE3E$E}uEEEEЋEUPEED$E@$‹E E @E܋E @ EEE;E~ME$$AEԋED$D$@Eԉ$褙E U܋Eԉ E멋EE܃@EE؃EÐUD$@D$@$@nU}tED$E$辘} tmE 8(t&E 8uED$E $衘E ҃}tED$E$rE 8uGED$E $bE D$@E$}tED$E$ U(ED$E$HE}HE@EE@EE@EUE)ЍEE}E4A}t+E@D$ E@ D$ED$E $EED$D$@E $0EED$D$@E $}t+E@D$ E@ D$ED$E $1EED$D$@E $軖iED$ED$ HVD$D$@E;Eu }u+D$CE $l|EEEEEE;Eu|E$D$ ED$E D$E$;}t(}u"ED$ED$CE ${E}uE;EtD$CE ${z}t4}u.E;Eu$ED$ED$CE ${U8EEEEE@E}uD$DE $O{ED$ ED$E D$E$?E@EE@ E}u$ED$ EED$D$DE $z}u}uc}uD$ DE $zED$ ED$D$E@D$ED$E@D$ ED$E D$E$}uD$DE $gzD$DE $TzU8EEEE@E}uD$DE $zED$ ED$E D$E$E@EE@EE@E}u+ED$ED$ EED$D$DE $y}u}uj}uED$D$DE $yyED$ ED$D$E@D$ED$E@ D$ ED$E D$E$}uD$(DE $yD$DE $yUHEEEEEE@EEEE@EE@EE@EEEEE;Eu]EEE}uD$DE $jxED$ ED$E D$E$\}u%ED$ EE@D$D$DE $x}uD$ DE $x}u}uJED$ ED$D$E@D$ED$E@ D$ ED$E D$E$}u!}u}uD$CE $wED$ ED$E D$E$}uD$DE $NwD$DE $;wU8EEEE@E}uD$+DE $vED$ ED$E D$E$E@EE@EE@E}u+ED$EED$ ED$D$DE $v}u}ul}uED$D$-DE $[vED$ ED$E@D$E@D$ED$E@ D$ ED$E D$E$}uD$6DE $uD$DE $uUEE}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$ $9DU}u2ED$ED$ ED$E D$E$E@EU8}uEEE@ EE@EEEE;E~yE@EEEEEEEEEE}uEt"EEE܃}t }t|ED$D$KDE $s}t"ED$ ED$E D$E$h ED$ ED$E D$E$D$WDE $suED$D$ZDE $es}t"ED$ ED$E D$E$ ED$ ED$E D$E$/D$DE $ sEEE؃}t }t|ED$D$cDE $r}t"ED$ ED$E D$E$W ED$ ED$E D$E$D$WDE $pruED$D$kDE $Tr}t"ED$ ED$E D$E$ ED$ ED$E D$E$D$DE $qEzE@E9U8EEE(EE EE(EEEEEEE;EucED$E,$u"E0D$ ED$E D$E$rE}uE;EtD$CE $9q듋E$EE E$EE;Eu}uD$CE $pED$E,$Nt$E,D$ ED$E D$E$w"E0D$ ED$E D$E$}t(}u"ED$ED$CE $spE}>E;Eu }u+D$CE $=pEEEEEE;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$CE $$oE}E;ED$CE $n}t4}u.E;Eu$ED$ED$CE $nUHEEEEE@EED$E$خt+}uD$DE $SnED$ ED$E D$E$CE@EE@ E}u$ED$ EED$D$DE $m}u}uz}uD$ DE $mED$,ED$(ED$$D$ E@D$ED$E@D$ED$D$ D$E D$E$}uD$DE $TmD$DE $AmUHEEEE@EED$E$jtE}uD$DE $lED$ ED$E D$E$E@EE@EE@E}u+ED$ED$ EED$D$DE $wl}u }u}uED$D$DE $FlED$,ED$(ED$$D$ E@D$ED$E@ D$ED$D$ D$E D$E$}uD$(DE $kD$DE $kUXEEEEEE@EEEE@EE@EEE;E|8MEAEED$E$蕫uEE뾃}u}uED$D$tDE $j}uD$yDE $jED$,ED$(ED$$D$ D$D$D$D$E@D$ ED$E D$E$}uD${DE $aj}u$ED$ EED$D$DE $7j}u }u}t}t}tD$ DE $iED$,ED$(ED$$D$ E@D$ED$E@ D$ED$D$ D$E D$E$}uD$DE $iD$DE $riUHEEEE@EED$E$蛩tG}uD$+DE $iED$ ED$E D$E$E@EE@EE@E}u+ED$EED$ ED$D$DE $h}u }u}uED$D$-DE $whED$,ED$(ED$$E@D$ E@D$ED$E@ D$ED$D$ D$E D$E$5}uD$6DE $gD$DE $gU(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) -n -- allow nonatomic programs as input (possibly unsound transformation) -h--help--version-v-n%s: unknown argument %s -stdinr%s: cannot open file %s %s: %s contains a non-atomic rule! p cnf %i %i | v%i. 0 0 -$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! (?Vm%s: unknown rule type %i! u%5EuuUeFile []: $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"d'5Cmissing 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 9[%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 typeYqYY7%% _%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 -U$  .HL Up| oLoo U: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) ",! .  D"  )*FР}gP js3 &$$.!!_IO_stdin_used B_version_lp2sat_cusage mainItr_atom_listtr_basic_into_eqtr_program_into_eq\tr_atoms_into_eq&program_name )_version_scc_cfind_referencehinitialize_references4compute_references}count_onvisit<strongly_connected_components*F _version_counter_callocate_countersfind_vectors$log2^write_atom_if_possiblegenerate_selgenerate_nxtgenerate_clearlgenerate_lthanzgenerate_equalitywrite_symbols_for_countersgV _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 popjs_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]3W"_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:0.5/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.15>(lp2sat.c/lhome/ttj/src/lp2atomicGNU C 3.3.5 (Debian 1:3.3.5-13)size_ti __u_char"unsigned char__u_short#short unsigned int__u_int$i__u_long%long unsigned int__int8_t(signed char__uint8_t)__int16_t*-short int__uint16_t+__int32_t,]int__uint32_t-i__int64_t2long long int__uint64_t3long long unsigned int__quad_t;__u_quad_t<__dev_t__uid_ti__gid_ti__ino_t__ino64_t__mode_ti__nlink_ti__off_tclong int__off64_t__pid_t]__val#] __fsid_t__clock_tc__rlim_t__rlim64_t__id_ti__time_tc__useconds_ti__suseconds_tc__daddr_t]__swblk_tc__key_t]__clockid_t]__timer_t]__blksize_tc__blkcnt_tc__blkcnt64_t__fsblkcnt_t__fsblkcnt64_t__fsfilcnt_t__fsfilcnt64_t__ssize_t]__loff_to__qaddr_t] __caddr_tt zchar__intptr_t]__socklen_tiFILE. . _flags ]# _IO_read_ptr t# _IO_read_end t# _IO_read_base t# _IO_write_base t# _IO_write_ptr t# _IO_write_end t# _IO_buf_base t# _IO_buf_end t# _IO_save_base t#$ _IO_backup_base t#( _IO_save_end t#, _markers #0 _chain #4 _fileno ]#8 _flags2 #]#< _old_offset %T#@ _cur_column )#D _vtable_offset *#F _shortbuf +H#G _lock /X#H _offset 8o#L __pad1 > #T __pad2 ? #X _mode A]#\ _unused2 C^#`__FILE> wchar_tEc wint_tbi IS__wchQ__wchbRIYzT__countN]#__valueS%#__mbstate_tTY __posT##_G_fpos_t#__pos!o#"#_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, 2 e ]e      ]] k  __gconv_step<?__shlib_handleuI#__modnamev #__counterx]#__from_namezt# __to_name{t#__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]#__statepO##__trans+#      [__gconv_btowc_fctK   e __gconv_init_fctN   ]e __gconv_end_fctO- 3 ? e __gconv_trans_fctXX ^  ]e        __gconv_trans_context_fct]   ]     __gconv_trans_query_fcta   ] (  # z .  __gconv_trans_init_fctdR X m ]m   __gconv_trans_end_fcte    +__gconv_trans_dataB__trans_fctj? #__trans_context_fctk #__trans_end_fctls #/m # __nextn+#  __gconv_loaded_object 1 __gconv_info__nsteps[#__stepse #/# __gconv_t U,4__cd2U#/3 # ,5__cd/U__combined4_G_iconv_t5_G_int16_t7-_G_int32_t8]_G_uint16_t9_G_uint32_t:i__gnuc_va_list+ z_IO_lock_t _IO_marker _next #_sbuf #_pos ]#  H__codecvt_result __codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconvXz nz3 H __io_read_fn _+ t[ __io_write_fn h+  [ __io_seek_fn p] ] o __io_close_fn s$4] fpos_tXatab(  ]#( ]#shift ]#prefix t# postfix t#other #next #names # # others !#$ B t ]ATAB "BWastack Aatom B]# C]#name Dt#under EW#  ASTACK F basic_rule # ]# ]#pos # ]# neg !#BASIC_RULE "kFconstraint_rule $# %]#bound &]# ']#pos (#  )]#neg *#CONSTRAINT_RULE +choice_rule - .]## /# 0]#pos 1#  2]#neg 3#CHOICE_RULE 4])integrity_rule 6 7]#pos 8# 9]#neg :# INTEGRITY_RULE ;weight_rule =# >]#bound ?]# @]#pos A#  B]#neg C#weight D#WEIGHT_RULE E?<disjunctive_rule G H]## I# J]#pos K#  L]#neg M#DISJUNCTIVE_RULE Nclause P Q]#pos R# S]#neg T# CLAUSE UT'any_rule W X'constraint Y-choice Z3integrity [9weight \?disjunctive ]Eclause ^K k  ]  ?  TANY_RULE _rule atype b]#data cQ#next d# aRULE ea5reference refcount ]# 5#lastref 5#scc ]# scc_size ]#visited ]# ]# ; REFERENCE reftab  ]#( ]#ashead #next # A RREFTAB R_version_lp2sat_c5U _version_atom_c]!"usage 5U#1main6]U$argc5]$argv5 %file7t|%in81x%program9;t&6:7p%passby;7l%size<]h%reftable==d%number>]`%scan@;\%prev@;X%atom_countA]T%clause_countA]P%outC1L%newatomE]H%atomE]D%option_helpG]@%option_versionH]%option_verboseI]%option_nonatomicJ]%argLt%whichM]%errorN]'2Ƌ&C&]&]%first%last'}h&C&#]%namet&]'&C&#]&]%hΞ(x&]&(]%i](ҍh%atom]%h&]    )tr_atom_list-oU**]+out*1 +cnt*]+scan**6+7+negated+],last.|)tr_basic_into_eqDoU*B]+outB1 +ruleB;*6B7+limitC]-EC|-G]x-H]t-#J]p-K]l'{,firstj]h(,firsth,lastd)\tr_program_into_eqaU*]+out1 +program;*67+limit])tr_atoms_into_eqaU*]+out1 *67+reftab=(sٚ-]|-(]x,i]t(ɚ-#]p,hl(ǖɚ-5h,lastref5d-`-]\'ҘX,rule0;X-1CT-2]P(͙,ruleK;P-LCT-M]X_IO_jump_t_IO_FILE_plus.stdin.stdout.stderr/program_nametHVРscc.c/lhome/ttj/src/lp2atomicGNU C 3.3.5 (Debian 1:3.3.5-13)size_tf__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#Z__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. D. _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#4 #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 #m # __nextn(#  __gconv_loaded_object . __gconv_info__nstepsX#__stepsb ## __gconv_t R,4__cd2R#3 # ,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 kw3D 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  Z#d Z#pos #V Z# neg !#BASIC_RULE "pKconstraint_rule $ %Z#bound &Z#d 'Z#pos (# V )Z#neg *#CONSTRAINT_RULE +choice_rule - .Z# /#d 0Z#pos 1# V 2Z#neg 3#CHOICE_RULE 4b.integrity_rule 6d 7Z#pos 8#V 9Z#neg :# INTEGRITY_RULE ;weight_rule = >Z#bound ?Z#d @Z#pos A# V BZ#neg C#weight D#WEIGHT_RULE EDAdisjunctive_rule G HZ# I#d JZ#pos K# V LZ#neg M#DISJUNCTIVE_RULE Nclause Pd QZ#pos R#V SZ#neg T# CLAUSE UY,any_rule Ww 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   ^ Z# Z#ashead #next # N _REFTAB __version_scc_cU _versionZ!"bfind_referencemU#b$atomZ %_&^Z|&Zx ".initialize_references#bmU$table".&}$bx'malloc$Z!&%bt%&^(Zp&)Zl&l*h(i+Zd%M(h2` )wcompute_referencesJU$programIH#Ib (scanKH|(passLbx*&wQwt&RZp(hSl*Dh&^\Zl&l]p(i^Zt%[(hah%3[(refdBd mallocdZ!%{&wrwd&sZh(htl "count_on~Z U$stack}$atom}Z &}Z|%ҝ(atom2Zx b"6visitZ "U$atomZ$next #MZ$stack6#b(h|(rBx(minZt*8&wwp&dZl(scanh(lastd%0(atom2Z`(h2\&}ZX%O(sizeZX(atom2Z\%(h2` )strongly_connected_components"РU#b#MZ (nextZ|(stackx%Aɠ&^Zt&Zp(iZl%j(atomZh(hڨd_IO_jump_t_IO_FILE_plus zMР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. . _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##_G_fpos_t#__pos!p#"#_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^#4B #8   __gconv_step_data$@__outbuf #__outbufend #__flags^#__invocation_counter^# __internal_use^#__statepP##__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 #Bm # __nextn,#  __gconv_loaded_object 2 __gconv_info__nsteps\#__stepsf #B# __gconv_t V,4__cd2V#B3 # ,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{3 H __io_read_fn _, u\ __io_write_fn h,  \ __io_seek_fn p ^  ^ p __io_close_fn s%5^ fpos_tXatab(  ^#0 ^#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  ^#0 ^#ashead #next # S dREFTAB d vector length ^#counter ^#& ^#VECTOR dvtab  ^#0 ^#vectors d#next p# j   VTAB _version_counter_cРUallocate_countersU newatom reftab !^x"rvaluet#$malloc^$"newp%(x!0^l"i ^h%t-!'^d"h(`!)^\%"nvec,jX!-^T v $find_vectorsCjU vtabB&B^ %ߢ!E^|!0F^x^log2O^$U nN^"resultP^|'write_atom_if_possibleY$U&X^ outX &X^&IX  'generate_sellwU&i^ outi &i^&j^&Ij vecj^& k^ &k$"im^|!n^x%w"cond^t'generate_nxtwܬU&^ out &^&^&I negtable vec^ & ^$&( vec2^,"i^|!^x!^t%Ӭ"cond^p(lgenerate_clearܬU)^*out )^)^)I*vec^)7^ *contradiction^$+^|,T-i^x% -i(^t(zgenerate_lthan>U):^*out: ):^*atom1;^*table1;*vec1;^) <^ )<$*vec2<^(*vec=^,)7=^0-i?^|+@^x-negvec1A^t+B^p(generate_equalityU)^*out )^*atom1^*table1*vec1^) ^ )$*vec2^(*eq^,)7^0-i^|-negvec1^x+^t-neq^p( write_symbols_for_countersMU)^*out )I*reftable*vtab%!F+^|+0^x-i^t%M6+^p-vecjl%u6-b^h-counter^d+& ^`-h \+ ^X+ ^T_IO_jump_t_IO_FILE_plusR  > Patom.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tmunsigned int&atab(X&#&#shift&#prefix-# postfix-#other;#next;#xA#O G# others!G#$int3char}-&ATAB"}astackAsB&#lC&#gD-#underE# YASTACKFY_version_atom_hPtU ^& _version_atom_ctU ^& new_tableU X& & |y& xAx O Gti!&pM extend_table;U : X:& :&extension<| ncopy_tableOU NcopyPx]P& firstQt initialize_other_tablenGIU m m io&| Xp&xothersqGt q& ;initialize_other_tables{IwU z z compare_symtabs&wU   ~& match_symtabsU   rvalue&| ~& ~&U   report&i&|j&xcount1&tnames1Apothers1Gl name1-h(found&dscan`Icount2&\names2AXkname2-T set_status_by_name&U  g- mask&# X&t xAp OGli&hUn-d $find_atom(U Ӣ s&  X&| &x find_atom_by_name&(U ߢ g- : X&| &x xAti&pln-l 2find_name- U  s& | &x xAt set_status& U  s& mask& tCOGp&l/ get_status &U s & |OGx&t set_name&UUs& g-|IxAx &t: find_invisible,&UU+dX.&|x/Axi0&tg3-p table_size?&U>max@&| lastC&x set_shiftL5UKshiftK&  set_prefixT5WUSprefixS- Y set_postfix\WyU[postfix[-  pushf yUse&le& ge-stacke valueg |g& popr UsqGlqG gqAstackq unders |freex&   rule.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tm2 __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#a2 __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##_G_fpos_t#__pos!s#"#_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##__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#F 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  [&F \, ]2 ^8 w  k  N  bANY_RULE _  atype ba#data c>#next d# NRULE eN_version_rule_h(U_version_rule_c(QU lneg_inv_listaQU!cnta!first "M l#scan |#last!x$" "at%z#atom%ap  neg_inv_basic1aU" 0"M 0l $2|   #neg_inv_constraint;aVU" :"M :l $ <#| T neg_inv_choiceEaVU" D"M Dl $F|$" Gax  neg_inv_integritySaU" R"M Rl $T| 8 9neg_inv_weight]aYU" \"M \l $F ^9|  neg_inv_disjunctivegaYU" f"M fl $ h|$" iax J neg_invuaU" t"M tl @check_negative_invisibleaU" "M l $" a| ~non_basica U"$~ha check_rule_typesa U"!types $ |%4#foundax#typeat#scanp dnon_atomicaU"%$| len_basicaU" $| len_constrainta&U" $ #| $len_choicea&KU" $| flen_integrityaKjU" $| len_weightajU" $F 9| len_disjunctiveaU" & |',len_clauseaU( & ,| 'clen_ruleaU( 'len6aU( 5&" 7a|'>compute_statement_lenCajU(M Bl&" Da|%c)countGax&Ht)iIap%"V)statusLal'number_of_rulesVajU(U&" Wa|_IO_jump_t_IO_FILE_plus*stderr*program_name xS"  input.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_tn __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#b __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. e . _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] s3e 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 #v # others !#$ G y bATAB "Gcastack A Bb#status Cb#name Dy#under Ec# ASTACK Fbasic_rule  b# b#pos #n b# neg !#BASIC_RULE "wPconstraint_rule $ %b# &b# 'b#pos (# n )b#neg *#CONSTRAINT_RULE +choice_rule - .b# /# 0b#pos 1# n 2b#neg 3#CHOICE_RULE 4g3integrity_rule 6 7b#pos 8#n 9b#neg :# INTEGRITY_RULE ;weight_rule = >b# ?b# @b#pos A# n Bb#neg C# D#WEIGHT_RULE EIAdisjunctive_rule G Hb# I# Jb#pos K# n Lb#neg M#DISJUNCTIVE_RULE N   P Qb#pos R#n Sb#neg T# CLAUSE UYany_rule Wbasic X Ychoice ZS [" \( ]. ^4 w  g  I  YANY_RULE _rule atype bb#data c:#next d# JRULE eJ_rcs_keyword$U out keywordy !ch 2_version'$U kw1&y kw2&y kw3&y"_version_io_h4U"_version_input_c9 UerrorE @U msgDy#Vread_basicMV@U inL$ Nb|$ Obx$ Pbt$n Qbp$ Rbl$ Sh!iTbd!newVV`%E Vb&!basicW\\  #4read_constraintVU in$ b|$ bx$ bt$ bp$n bl$ bh$ d!ib`!newV\%% b&$ 4X P#read_choiceVU in$ b|$ bx$ bt$n bp$ bl$ h!ibd!newV`% b&!choice\ 'read_integrityVU(in) b|) bx)n bt)  bp) !l*i"bh*new$Vd+ $b&)S %` 3'read_weightTVU(inS) Ub|) Vbx) Wbt) Xbp)n Ybl) Zbh) [d*i\b`*new^V\+ ^b&) _X,]*wbT 'read_disjunctiveVeU(in) b|) bx) bt)n bp) bl) h*ibd*newV`+ b&) \ A'read_programVeU(in*typeb|*programVx*newVt*lastVp';read_symbolsW;U(inV*offsetXb|) Y;x*missingZAt) [bp-"*nameayl.set_namefb&,*piecep;h*minqbd*maxrb`*scansA\,Q) ~bX*nameyT*namesP   i'jread_compute_statementbU(in/ ; *countb|*missingAx) bt*numberbp*chbl,*piece;h*minbd*maxb`*scanA\,]) bX*statusbT)v P0S read_literalsU(in/ S  *literalbx- P) bt)n bp- 21 b&,<P1 b&-; X*ibp,*ibp ' read_clauseVFU(in*newV|+  b&) S x' digitsbFU(nb'!read_cnfVU(in/ ! *chb|*vars bx*clauses bt) !bp*log"bl*cnf$Vh*new%Vd*last&V`*names(\)v )X,f*nameJyT1 Jb& ;_IO_jump_t_IO_FILE_plus2stderr3program_nameByHV3max_atom bLV#houtput.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_to{ __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#c{ __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#4  #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 # m # __nextn1#  __gconv_loaded_object 7 __gconv_info__nstepsa#__stepsk # # __gconv_t [,4__cd2[# 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# c#? c#prefix z# postfix z#other #next # # # 3 !#$ H z cATAB "HYastack Am Bc#status Cc#: Dz#under EY#  ASTACK F basic_rule head c#$ c#pos # c# neg !#BASIC_RULE "mHconstraint_rule $head %c#U &c#$ 'c#pos (#  )c#neg *#CONSTRAINT_RULE +choice_rule -r .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#U ?c#$ @c#pos A#  Bc#neg C# D#WEIGHT_RULE EB<disjunctive_rule Gr 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 J Ychoice Z [ \#[ ]), ^/ m  _  B  TANY_RULE _ E atype bc#data c5#next d# ERULE eE_version_output_cU write_namevU!out": z !prefixz!postfixz  write_atom-vU"g ,c!out, "m ,c" ,# .|$# 1cx#? 2ct# 3p#: 4zl  cwrite_other_atomZCU"g Yc!outY "m Yc" Y# [|$;%other^x#3 _t# `cp Fwrite_literal_listwC-U"g sc!outs " sz"$ tc!post" uc!negu " v$" v(%scanx|%lastyx%wscanzt%wlast{p write_basic-U"g c!out "E " %scan|%lastx#$ ct# cp%basicl   write_constraintU"g c!out "E " ż#$ c|# cx#U ct#J ˉp H 1write_choiceU"g c!out "E " #r c|#$ cx# ct# zp%choice1l &write_integrityU'g c(out 'E ' )scan|)lastx*$  ct* !cp* #l ,&write_weightBPU'g Ac(outA 'E A' A*$ Cc|* Dcx*U Ect* Gp &9write_disjunctivegP4U'g fc(outf 'E f' f*r hc|*$ icx* jct* kzp*[ m9l <&write_clause_as_rule4U'g c(out 'E ' *$ c|* cx*m ct*, p &Cwrite_rulegU'g c(out 'E ' &write_programgU'g c(out 'E ' &write_symbolsdU'g c(out ' $])countc|* cx*? ct* p)icl$M*m ch+zk*: zd$M*: zd& write_compute_statement(dU'g 'c(out' ' '(mask'c)first)c|$|)count,cx* -ct*? .cp* /l)i0ch$*m 3cd)status4c`&L!write_classical_atom` U'g _c(out_ 'm _c' _* a|$* dcx*? ect* fp*: gzl&"write_other_classical_atom 7U'g c(out 'm c' * |$0* cx)othert*3 p&"write_classical_literal_list7~U'g c(out '$ c(pos' c(neg'  )scan|)lastx&V#write_clause~LU'g c(out (cnf' )typec|*, x*$ ct* cp&#write_cnfLU'g c(out (cnf' _IO_jump_t_IO_FILE_plus,stderr,program_name z(-translate.c/lhome/ttj/src/lp2atomic/utilsGNU C 3.3.5 (Debian 1:3.3.5-13)size_trL __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#fL __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.  . _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]# #_G_fpos_t#__pos!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_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#4k  #8   __gconv_step_data$@__outbuf #__outbufend #__flagsf#__invocation_counterf# __internal_usef#__statepX# #__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| #k m # __nextn4#  __gconv_loaded_object : __gconv_info__nstepsd#__stepsn #k # __gconv_t ^,4__cd2^#k 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 w3 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#d f#shift f#prefix }# postfix }#other #next #Y # #  !#$ K } fATAB "KZastack A> Bf#7 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 -C .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#r D#WEIGHT_RULE E@8disjunctive_rule GC 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 [$r \*disjunctive ]0 ^6 n  ^  @  PANY_RULE _  atype bf#data c<#next d# LRULE eL_version_translate_hU_version_translate_cU tr_literal_list# U!1 f"out !  f"pos ! !f"neg!!r " ! "$!# "(# $|# %x$wscan&t$wlast'p   str_basicN  U!1 Mf"outM ! Ms! M!# M# O|# Px# Qft# Rfp$basicTyl   tr_constraintt c U!1 rf"outr ! rs! s!# s# uf|# vfx# wft# yp G tr_choicec 0U!1 f"out ! s! !# #C f|# fx# ft# p# l# h% )#_ fd  tr_weight0U!1 f"outǼ ! s! !# # f|# fx# ft#r ͗p  tr_rulerU!1 f"out ! s! !# &jtr_programrU'1 f(out ' s' '# &[tr_compute_statementU'1  f(out  'y  '  f%~) f|) x)Y t*ifp%n)d fl)> fh*name}d)7 f`&tr_invisible_list^U'1 Yf(outY 'C Zf'_ Z' [f(pos[' \f (neg\$'r ](' ],'# ]0'* ]4) _|) `x*wscanat*wlastbp%m*piecel) h)d fd&~tr_invisible_basic%U'1 f(out ' s' '# '* ) |) x) ft) fp*basicyl&Atr_invisible_constraint%U'1 f(out ' s' '# '* ) f|) fx) ft) p&D tr_invisible_choiceU'1 f(out ' s' '# '* )C f|) fx) ft*ifp*invisible_head_cntfl) h% >)_ fd&!tr_invisible_weight/~U'1 -f(out- ' -s' .'# .'* .) 0f|) 1fx) 2ft)r 4p&!tr_invisible_ruleY~U'1 Wf(outW ' Ws' X'# X'* X&"tr_invisible_parttU'1 rf(outr ' rs' s'# s'* s&P#tr_invisible_compute_statement U'1 f(out 'y (maskf*firstf|% ) fx)d ft*shiftfp*other_tablel) h*ifd%2 )> f`*otherf\%X *name}X%w )7 fT&$gen_inclusion_rules &"U'1 f(out 'y % ") f|)Y x*ift% ")d fp)> fl&$gen_diff_rules&"#U'1 f(out 'y ' f%8"#) f|)Y x*ift%d"#)d fp)> fl&%gen_diff_invisible#&U'1 f(out 'y ' f%#&)  f|)  x*i ft%$&)d fp)> fl)Y h*name}d*otherf`&d&gen_classical_rules=&'U'1 <f(out< 'y <%&') ?f|*i@fx)Y At%&')d Dfp)> Efl&%'gen_submodel_rulesa'W*U'1 `f(out` 'y `' `f%'P*) cf|)Y dx*ieft%(@*)d hfp)> ifl&'tr_clauseW*z,U'1 f(out (cnfs'y ' f*typef|) 'x) ft) fp) l) h &w(tr_cnfz,-U'1 f(out (cnfs'y ' f*firstf|) 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 %4: ; I &4: ; I ' ( ).? : ;' @ *: ;I +: ;I ,4: ;I -4: ;I .4: ; I? < /4: ; 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.S.2,Wd ",:D ,Wdd,,-: /usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeutilslp2sat.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hatom.hrule.hscc.hdVVV.dHHHHHHHHJ +,rrrrrrrsՁrrrsrrs:-.dddd%qqԹdVd%KH d$$dsHIYde"rdsdHIVX.WX0es:HWsr؎e(&(dd,d$dd,u+U/dsesՂd"d,sd--2tV--2tdI,2Ԏ-dd,,-d$dI--dd,,--d$dI-/r'.rs:I-dI/,dI/"e-dd,>ƀd,ed,udI-eƀdd,-d,dI- /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.hРd0r: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.hP 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.hd.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.S.:! | QAB 5AB AB AB oAB CAB aAB | $AB iAB m)AB D)AB LAB  AB "AB | |Р$AB |AB D|gAB |7AB |$rAB |AB |weAB |ܬAB |AB |AB |>AB | P$AB t)AB AB AB AB DlAB I.AB w"AB %AB QAB AB ERAB (AB YAB  |AB EYAB `AB U}AB AAB "AB 5"AB W"AB y=AB KAB | $AB ()AB QuAB HAB HAB VsAB HAB HAB YsAB AB >AB /AB  tAB RAB  AB  AB &%AB KAB j0AB  AB AB AB 7AB AB j*AB | pAB p$AB p$AB p)AB p 7AB p@GAB pAB pAB pAB pAB pAB peTAB pAB pAB pAB Dp~AB pFUAB pAB | 8 $AB 8 AB 8 vAB 8 -AB 8 CAB 8 -^AB 8 RAB 8 AB 8 ;AB 8 TAB 8 PAB 8 4AB 8 AB 8 g<AB 8 AB 8 dRAB 8 UAB 8 ,AB 8 7GAB 8 ~AB 8 L<AB | D $AB D )AB D AB D AAB D  QAB D c AB D 0SAB D AB D rCAB D AB D +AB D uAB D %AB D GAB D AB D ~ AB D JAB D AB D yAB D &"AB D #AB D &&AB D 'AB D W*#AB D z,AB _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_FILEneg_cntstatusescountpos_cntbasicfirstrefstylestatushead_cntunsigned intother_headheadoffset__datatable__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$${  p..D U UUUUUUH8V88Px T   7+#!Z 4( (HL L|  $  . .UUUUUUU8V !ValaaVaNVYD itUUU UDVp  iUUUU`. NVajpzH  ' m) we  !/ +rC 65" A Q O~ \ l  vo T U ܬ i >  y > "j0 - 6?HR R5 XY c.j xu   #$  Ys -^ U$  Vs + t <J NU[.P k%        H dR    #  );HVHR S#e u~ G g &% 8V/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.Slp2sat.cscc.ccounter.catom.crule.cinput.coutput.ctranslate.cneg_inv_constrainttr_compute_statementgen_submodel_rulesinitialize_referencesgenerate_nxt_rcs_keywordfgetc@@GLIBC_2.0non_basictr_programset_prefixtr_constraintwrite_clausetr_literal_listlen_basictr_basic_into_eqwrite_weightungetc@@GLIBC_2.0_DYNAMICwrite_choicegenerate_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__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.0tr_program_into_eqread_integritywrite_programwrite_atom_if_possiblecombine_symtabsset_statuswrite_cnfneg_inv_weight_starttr_clausecount_ontr_invisible_compute_statementdigitstr_atoms_into_eqfputs@@GLIBC_2.0_version_scc_cinitialize_other_tables_version_rule_c_version_rule_hextend_tableset_postfix_version_atom_c_version_output_ctr_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_atom__libc_start_main@@GLIBC_2.0table_size__init_array_endset_nametr_ruleread_literalsgen_diff_invisibledata_start_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_disjunctivewrite_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_start_version_lp2sat_cfind_name_IO_stdin_usedlen_clausegen_classical_rulestr_choiceneg_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