Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/fsubsto.o

ELF�C4(U��S��D�E�xt�E�xt��D$�E�D$�E�$�����t�E�$����E���E;Eu1�D$�E�D$�E�$�����t�E�$����E����E�D$�E�D$�E�D$�E�D$�E�$�����t�E�$����E���E�x��Ef�x�t9�Ef�x�t.�Ef�x�t#�Ef�x�t�Ef�x�t
�Ef�x�t�/�E���U�@f;Bu�E;Eu�E�$����E������E�U�E�@f�B�E��@����E�U�E��E��E�}�u�]�]�E�D$�E�D$�E��D$�E�D$�E�D$�E�$�����E�xt�]�����C�E�@�E�E�@�E�뛋E�E��a�E�xu�E�$����E��E�E�U�R��t�E�$����E���E�U�@f;Bu�E;Eu�E�$����E����U�E�@���E��U�E�@����E�}�u�E�$����E���E��xu6�U�E��@�E�E�<�u��U�E���E��U�E���E��E�D$�E�D$�E��D$�E�D$�E�D$�E�$����E�E�xu�E�U�@f;Bu�E�E��%�E�;Eu�E�E���E�D$�E�$��E܋E܃�D[]�U����E�E��E��xt-�E��@�xt!�E��xt
�E�f�xu�E��@�@�E��ʋE��xu	�E���E��@��E��E���U����E�E��E��xt-�E��@�xt!�E��xt
�E�f�xu�E��@�@�E��ʋE���U��S���E�$����E��D$�D$�E@�$����D$�D$�E�$����E��@�E�}�u� �E�@�D$�E�$����E�@�E��؋]�E�D$�E��$�����H�E��H;E}�U�E��H��[]�U����E�xt	�E��]�Ef�x�u�E���xt	�E��<�E��E��}�u�%�E���$�����u	�E���E��@�E����E��E���U����E��E�@�E��}�u��E��@�$�����u��E��@�E����E��^�E�@�E��}�u�0�E��@�$����}�t�E��$����E��E��E��@�E��ȋE��$����E�$����E��E���U���H�=�u�E���=���D$�$����E�}�t��U�R����D$�$����E�}�t��U�R����D$�E؉$����E��E��}�~�x�E�1�E��D$�E؉$����E�}�t��U�R����D$�E؉$����E�}�t��U�R����E�뀃=���D$�$����E�}�t��U�R����D$�$����E�}�t��U�R����D$�$����E�}�t��U�R����=u������E��:�E��E�;|��E��;Eu	�E���E����E��E���U��S��T�U(�E$��D$�E�D$�E�$�����t?�U(�E$@��M$�E �����t�E�$����E���E�$����E���E�xuj�E�D$�E�D$�E�D$�E�D$�E�$�����t?�U(�E$@��M$�E �����t�E�$����E��4�E�$����E��!�E�xu�E�$����E���E�x�i�Ef�x�t9�Ef�x�t.�Ef�x�t#�Ef�x�t�Ef�x�t
�Ef�x�t�/�E���U�@f;Bu�E;Eu�E�$����E���E�@�$�����t�E�$����E��_����E�U�E�@f�B�E��@����E�U�E��E��E�E��E�}�u�x�]�E�D$ �E$�D$�E �D$�E�D$�E�D$�E��D$�E�D$�E�D$�E�$������E�E$�E�xt�]�����C�E�@�E�E�@�E�뀋E(�U��E�E���U�E�@���E��U�E�@��t�E�$����E��X�}�uO�E�U�@f;Bu?�U(�E$@��M$�E �����t�E�$����E���E�$����E���U�E�@����E�E(�D$ �E$�D$�E �D$�E�D$�E�D$�E��D$�E�D$�E�D$�E�$����E�M�E�P�E���M�E�P�E�������E܋U܋E�@�B�U܋E��E�xu>�=�t5�}t/�E܉D$�E�D$�E��@�D$�E�D$�E�@�$����U܋E��B�U�E܉�E�$����E؋E؃�T[]�U��S��T�=DtL�E�D$ �D$�E �D$�E�D$�E�D$�E�D$�E�D$�E�D$�E�$����E��V�D$�E�D$�E�$�����t�E�$����E��%�E�xu>�E�D$�E�D$�E�D$�E�D$�E�$�����t�E�$����E����E�xu�E�$����E����E�x�M�Ef�x�t9�Ef�x�t.�Ef�x�t#�Ef�x�t�Ef�x�t
�Ef�x�t�/�E���U�@f;Bu�E;Eu�E�$����E��B�E�@�$�����t�E�$����E������E�U�E�@f�B�E��@����E�U�E��E��E�E��E�}�u�d�]�E �D$�E�D$�E�D$�E��D$�E�D$�E�D$�E�$�����E�xt�]�����C�E�@�E�E�@�E�딋E�E��h�U�E�@���E��U�E�@��t�E�$����E��1�}�u6�E�U�@f;Bu�E�$����E���E�$����E���U�E�@����E�E �D$�E�D$�E�D$�E��D$�E�D$�E�D$�E�$����E�M�E�P�E���M�E�P�E�������E܋U܋E�@�B�U܋E��E�xu>�=�t5�}t/�E܉D$�E�D$�E��@�D$�E�D$�E�@�$����U܋E��B�U�E܉�E�$����E؋E؃�T[]�U��S��$��E�xu@�}t:�E�U�R�<�u�(�E�@�E��U�E����E�U�E�����E뷋E�xub����E��E��@�}u�E��U�Rf�P�2�U��E��Hf�B�E��H�E��H@u�$����E��E���E�xu(����E��E��@�U��E�@f�B�E��E��R�=�tk�Ef�x�t9�Ef�x�t.�Ef�x�t#�Ef�x�t�Ef�x�t
�Ef�x�t�'�E���@�E�U�E���E�U�E�������E�E��@�U�E�@f�B�E��E��E��}�u�K����E�}�u
�U�E��	�U�E�B�]�E�D$�E���$�3�����E�E�E��@�E�뭃=�tP�Ef�x�t9�Ef�x�t.�Ef�x�t#�Ef�x�t�Ef�x�t
�Ef�x�t��M�U�E���E�E�E��$[]�%:;I$>$>:;
:;I8
I!I/	I
:;
:;I8
:;I
:;
:;I
:;I8
:;(
'II:;&I'<!I:;:;:;I&:;!I/ 
:;I!
:;I8
":;#
:;I$:;%.?:;'I@
&:;I
'4:;I
().:;'I@
*.?:;'@
+
:;,4:;I
-4:;I
..?:;'I@
/:;I
0.:;'I@
124:;I?<�('otter2/fsubsto.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�rO__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_t2�long long int__uint64_t3�long long unsigned int__quad_t;�__u_quad_t<�__dev_t��__uid_t�r__gid_t�r__ino_t��__ino64_t��__mode_t�r__nlink_t�r__off_t�llong int__off64_t��__pid_t�f��__val��#�f�O__fsid_t��__clock_t�l__rlim_t��__rlim64_t��__id_t�r__time_t�l__useconds_t�r__suseconds_t�l__daddr_t�f__swblk_t�l__key_t�f__clockid_t�f__timer_t�f__blksize_t�l__blkcnt_t�l__blkcnt64_t��__fsblkcnt_t��__fsblkcnt64_t��__fsfilcnt_t��__fsfilcnt64_t��__ssize_t�f__loff_t�x__qaddr_t�f	�__caddr_t�}	�char__intptr_t�f__socklen_t�rFILE.�
�._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__wchbRRb���T__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_from�f#$__max_needed_from�f#(__min_needed_to�f#,__max_needed_to�f#0__stateful�f#4h��#8	�
�__gconv_step_data$@__outbuf��#__outbufend��#__flags�f#__invocation_counter�f#__internal_use�f#__statep�X#��#__trans�4# 	�	��	�	�	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|
#hm�#__nextn4#	�
__gconv_loaded_object	:	��__gconv_info�__nsteps�d#__steps�n	#h��#��
�__gconv_t��	^�,4__cd2^#h3�
#
,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��	�w��3	H�__io_read_fn	_��4�}d__io_write_fn	h��4�&
d__io_seek_fn	p�f�f	x__io_close_fn	s-=f�fpos_tX�q
cquot
af#rem
bf#div_t
cK�
kquot
il#rem
jl#ldiv_t
k~__compar_fn_t
��	��f��	�clock_t<�time_tL�tm,�tm_sec�f#tm_min�f#tm_hour�f#tm_mday�f#tm_mon�f#tm_year�f#tm_wday�f#tm_yday�f#tm_isdst�f# __tm_gmtoff�l#$__tm_zone�&
#(.user_functionXYarityZf#arg_types[.#result_type\f#T>f�
]
rel
	�lit
3�rel
argval
�#argof
�#narg
�#nocc
�#path
�#clashable
�#	]3literal
'
�v#next_lit
�3#atom
��#sign
��#target
��#
	��term
farg
�#occ
>#fpa_id
f#sym_num

�#varnum
�#;
�#bits
�#	9�sym_ent0
J
�#sym_num
f#arity
f#lex_val
 f#eval_code
!f#skolem
"f#special_unary
#f#lex_rpo_status
$f#name
%�# special_op
&f#�op_type
'f#�op_prec
(f#�sort
)f#�	�����term_ptr
,term
-�#J
.#	��formula_ptr_2
1f
2�#prev
3�#J
3�#left
3�#right
3�#up
3�#down
3�#�formula
2 
��#\
��#J
��#t
��#;
��#quant_type
��#	�	�fpa_tree
6
7#left
8�#right
9�#left_term
:�#right_term
;�#;
<f#path
=�#	�	f�fpa_head
@
A#J
B�#path
C�#	��fpa_indexD;
Ftable
G�#���restrictdata
J	Jint_ptr
JJ
�#i
�f#�contextP
L
M�#contexts
N#�bound
O#�forbidden
P-#�multiplier
Qf#�built_in_multiplier
Rf#�
Sf#�J
T#���?�?	J-��?=�?�trail
Wcontext
X#J
Y�#fp
Z#varnum
[f#	=�imd_tree
^J
_�#kids
_�#atoms
`#lab
a�#;
b�#max_vnum
e�#	�`imd_pos�
hJ
i`#imd
j�#1
kf#reset
lf#�@
mf#�	w���
�
ukids
s� 
t�is_tree
pJ
q�#u
uw#lab
v�#;
w�#
	�Qis_pos�
zJ
{Q#is
|�#varvals
}�#1
~W#�reset
f#�@
�f#�	�h��+�fsub_pos
�
�#pos
�Q#vclause(
�parents
�#'
��#prev_cl
�v#next_cl
�v#first_lit
�3#id
�f#pick_weight
�f#attributes
�#;
�6# bits
��#"heat_level
��##
�f#$	��list
�first_cl
�v#last_cl
�v#name
��#	|cl_attribute
�name
f#u
�!#!J
#	�;clause_ptr
�c
�v#J
�;#	
wci_ptr
�J
�w#c
�v#v
�#	ATclash_nd,
�nuc_atom
��#db
�T#u_tree
Á#subst
�#tr
Ŋ#found_atom
Ƶ#evaluable
�f#evaluation
�f#already_evaluated
�f# prev
�Z#$J
�Z#(	�	}�clock
�accum_sec
�l#accum_usec
�l#curr_sec
�l#curr_usec
�l#�ans_lit_node
�J
�# 
֊ #lit
�3#	�� link_nodeD
� 
ۊ #next_sibling
ۊ #prev_sibling
ۊ #\
ۊ #child_first_ans
�#child_last_ans
�#first
݃#unit_deleted
ރ#goal
ߵ#goal_to_resolve
ߵ# current_clause
�v#$subst
�#(tr
�#,unif_position
�#0near_poss_nuc
�f#4farthest_sat
�f#8target_dist
�f#<back_up
�f#@	x!formula_box�
�;
�f#subtype
�f#f
��#str
�x!#length
�f#pheight
�f#tx_off
�f#xy_off
�f#|abs_x_loc
�f#�abs_y_loc
�f#�\
�!#�J
�!#� 
�!#��!��c	� �!formula_ptr
�f
��#!J
�!#	�!"�!
#i
f#d
�!#s
}#t
	�double$)"hnamef}#valgf#$p"nnamek}#vallf#minmf#maxmf#term�intlist%W#fsubst3�UU&a��&x��&c1�&b��&c2�&trpW#�'tp"�x'wp"�t'ansp"�p'r��l's��h'd�d(��'iFf�`	�%�#getContainingClauseVvU�U&tR��'pV��|)�#getContainingAtoma��U&t`��'pa��|*J$prepare_contexto�U&t1j��&c1j�&maxjf�'cl1ov�x'litp3�t%�$check_lambda~f�;U&t{��'r~��|%�$check_lambdas�f;�U&c�v�+fail��'q�3�|'p�3�x%Z%blocking_functor�f�U&f�f�'g�Z%'k�f'se���t'j�f�p'buffer�j%�Xj%f�z%��)�&fsubst6��$U&a��&x��&c1��&b��&c2��&trp�W#�&mask�f� &first�f�$&last��('t�p"�x'w�p"�t'ans�p"�p'r���l's���h'd��d,J�f�`(r
-tr1��\.~'fsubst5F�$�U/a6��/x6��/c16�/b6��/c26�/trp6W#�/mask6f� -tFp"�x-wFp"�t-ansFp"�p-rG��l-sG��h-dH�d-lastIf�`(-�-trq��\0m(apply2{��'U/tx��/cy�1�'.-vn�f�x1�'9�-t2���x1
(��-t2���x(�-r1���x-r2���t-r3���p-t2���l-vv�f�h-saveit���d_IO_jump_t_IO_FILE_plusgen_nodeproof_objectproof_object_node�("��2Flagsh�(�()"�;2Parmsn�(��
otter2/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeotterfsubsto.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hstdlib.htime.hforeign.htypes.hheader.hbterms.htd�,&,+-�`-��r���5������.:,r,�:d,?1����H�cd(Ԏ��Xcd(�:3q���F��Ըid��r��r	Ucr�)����`���r]i���ddedde,H�VdeVdvc
q�ddeddeddf���:�trUu�Ǝ�--4��--�,�`,,,��r����Jd�������:,d��,.:F���u�L�,4,�,�`,,,��r����<������:,d�,-:8�ԕ�� ��rd�����r԰MԸǀr�r���d���d�M�e	indgeToo many variables.����|�UA�B
D�UdA�B
�GA�B
�A�B
D��zA�B
;�A�B
�7A�B
	A�B
D�$�A�B
D��HA�B
D���(�"fsubst3]#getContainingClause�#prepare_contextJ$check_lambda�$check_lambdas�$blocking_functor�&fsubst5'__stateterms_IO_FILEnext_varparentcontainerrel_stacktypestack_posnextunsigned intfirst_child__dataGCC: (GNU) 3.3.5 (Debian 1:3.3.5-13).symtab.strtab.shstrtab.rel.text.data.bss.debug_abbrev.rel.debug_info.rel.debug_line.rodata.rel.debug_frame.rel.debug_pubnames.rel.debug_aranges.debug_str.note.GNU-stack.comment4'	�K�%\+\0\�B��(>	<OR�=�N	TR^�@j�@f	\R�{�A�w	�R
�fB �	S��Bo��B��B&C�xG�	HJA��H�G$(
,	
4U<HRXaiUd}������z�;������7�-$�5;fsubsto.capply2getContainingAtomg.0k.1fsubst6fsubst3term_ident2copy_termunifyget_termget_relgetContainingClauseprepare_contextmemsetforbid_boundmax_varscheck_lambdacheck_lambdasfree_termfree_literalfree_clauseblocking_functorsym_tab_memberstrcpyget_trailFlagsfix_forbiddenfsubst5Parmsabend4Cm|��:Gd���"M��1Qw�c�!�"�"�#�%*7=LQ%_lrz�&�%����%�	,1%?LRaf%t����%�������@h{���
	�	�	$�	�	�	^
�
�
�'�(�)-+����
�
�
$�
�
�
5*H���&*R'y(�)�:��,��(Au�(s�����
z��x����=����d��0\��^��2Q����"Bz�6h�-QF��T� K!Z!i!�!�"�"A#E#~#�#�#�#�#�#d$h$�$�$�$�$�$%+%�%�%]&k&o&�&�&f'j'�'�'�'�'�'�'�'�'(($48LPdh����������

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists