Sindbad~EG File Manager

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

ELFC4(U���(�Ef�x�t	�E��k�E���E�E�f�x�t	�E��M�E���E��E��@��E�E��@��E��E�D$�E�D$�E��D$�E��$�n�E�E�E�E���U����E�xu�P�E�xu/�E��E��}�u�7�E�D$�E���$�����E��@�E��ًE�@���E���U����E��E�xu%�E�xu�E�U�@f;B�����E���E�xu"�E�xu�E�U�@f;B�����E��]�E�xt�E�xt�	�E��@�E��E��}�u�*�E�D$�E���$����E��}�t��E��@�E��΋E��E�E���U����E�xuB�E�@���E�<~+�M�E�@���E���f�A�E��k�E�xt�E��V�E��E��Ef�x�t<�Ef�x�t1�Ef�x�t&�Ef�x�t�Ef�x�t�Ef�x�t���E���E��E��@���E�<~$�M��E��@���E���f�A��E��}�?~�g�E���E�<uM�E��@���U�E��
�U��E�f�B�E���E��E�;E��U�E�@���E�둃}�@u	�E��?�E��@�E���}�u�&�E�D$�E�D$�E���$�V����E��@�E����E��E���U����E�D$�E�$����E��U�E�;|��E����E��E���ًE�D$�E�D$�E�$����E��E���U��S��4�E�xu1�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�$����E��K����E�U�E�@f�B�E��@����E�U�E��E��E�}�u�W�]�E�D$�E��D$�E�D$�E�$�����E��@�E�xt�]�����C�E�@�E�E�@�E�롋E�E���E�xu�E�$����E���Ef�x?w�U�E�@���E���E��}�u0�E�U�@f;Bu�E�$����E��G�E�$����E��7�U�E�@����E�E�D$�E��D$�E�D$�E�$����E�E��4[]�U���(�D$�D$�������$����E�xu�Ef�x?w�E�@DŽ������EH�D$�������D$�E�D$�E�$����������t�$����E�D$�E�D$�E�D$�E�$�D�����U����E�xu�j�E�xu+�E�@;EuU�E�Uf�P�Ef�xtA�Ef�@�6�E��E��}�u�&�E���D$�E�D$�E�$����E��@�E�����U����E�x���E�xu�E�U�@f;Bu
�E;Eu��E�U�R�<�t=�E�D$�E�D$�U�E�@����D$�U�E�@���$������E�U�R�����E�D$�E�@�D$�E�D$�E�@�$��������E�D$�E�D$�E�D$�E�$����_�E�xtV�E�xu�E�U�@f;Bt=�E��E��}�u�-�E�D$�E�D$�E�D$�E���$����E��@�E�����U����E�x���E�xu�E�U�@f;Bu��E�U�R�<�t=�E�D$�E�D$�U�E�@����D$�U�E�@���$������E�U�R�����E�D$�E�@�D$�E�D$�E�@�$��������E�D$�E�D$�E�D$�E�$����_�E�xtV�E�xu�E�U�@f;Bt=�E��E��}�u�-�E�D$�E�D$�E�D$�E���$�����E��@�E�����U���8�E������E������E;Eu�������@f;Bu���E�$����E�$����D$S��$����E�D$��$����E�D$��$����D$�D$�������$����������D$�E�$�����M����P������M����P�E������������������@�B�����E�����xuG�=�t>�}t8�����D$�E�D$����@�D$�E�D$����@�$��������E��B�U������E�D$����D$�E�D$�E��@��$����E�D$����D$�E�D$�E��@��$�����E�D$����D$�E�D$�E��@��$����E�D$����D$�E�D$�E��@��$�����U����E�x���Ef�x�t<�Ef�x�t1�Ef�x�t&�Ef�x�t�Ef�x�t�Ef�x�t��E���E��E��xtM�D$���$����E�D$��$����D$��D$K�D$��$�����U�E��@Ƅ�E��@�E��}�u�-�E�D$�E��D$�E�D$�E���$����E��@�E��ˋE�xu/�E��E��}�u��E���D$�E�$����E��@�E��ٸ��U����E��}�?~�=�U�E����@t&�U�E����@�$����U�E�DŽ�@�E�����U�������E��}u�$�����D$�D$�E��$����D$�D$�E�@�$����D$�D$�E��$����D$@�D$�E��$����U��E��@�U��E�@$��H�E�x$y$�D$
�D$|�D$��$�����E�@�E��}�u� �E��@�D$�E��$����E��@�E��؋E�ǀL�E���U�������E��D$�E�D$�E��$����D$�E@�D$�E�@�$����D$�E�D$�E��$����D$@�E�D$�E��$����U��E��@��@�U��E��H��H�E�ǀL�E���%:;I$>$>:;
:;I8
I!I/	I
:;
:;I8
:;I
:;
:;I
:;I8
:;(
'II:;&I'<!I:;:;:;I&:;!I/ 
:;I!
:;I8
":;#
:;I$:;%.?:;'I@
&:;I
'4:;I
(.:;'@
):;I
*.:;'I@
+4:;I
,.?:;'@
-.:;'@
.:;I
/4:;I
0.?:;'@
14:;I
23.?:;'I@
4:;I
54:;I?<64:;I?<
)yotter2/beta.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�oW__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_t2�long long int__uint64_t3�long long unsigned int__quad_t;�__u_quad_t<�__dev_t��__uid_t�o__gid_t�o__ino_t��__ino64_t��__mode_t�o__nlink_t�o__off_t�ilong int__off64_t��__pid_t�c��__val��#�c�W__fsid_t��__clock_t�i__rlim_t��__rlim64_t��__id_t�o__time_t�i__useconds_t�o__suseconds_t�i__daddr_t�c__swblk_t�i__key_t�c__clockid_t�c__timer_t�c__blksize_t�i__blkcnt_t�i__blkcnt64_t��__fsblkcnt_t��__fsblkcnt64_t��__fsfilcnt_t��__fsfilcnt64_t��__ssize_t�c__loff_t�u__qaddr_t�c	�__caddr_t�z	�char__intptr_t�c__socklen_t�oFILE.�
��._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_from�c#$__max_needed_from�c#(__min_needed_to�c#,__max_needed_to�c#0__stateful�c#4{��#8	�
�__gconv_step_data$@__outbuf��#__outbufend��#__flags�c#__invocation_counter�c#__internal_use�c#__statep�U#��#__trans�1# 	�	��	�	�	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�__nsteps�a#__steps�k	#{��#��
�__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^��	�t��3	H�__io_read_fn	_��1�za__io_write_fn	h��1�#
a__io_seek_fn	p�c�c	u__io_close_fn	s*:c�fpos_tX�n
cquot
ac#rem
bc#div_t
cH�
kquot
ii#rem
ji#ldiv_t
k{__compar_fn_t
��	��c��	�clock_t<�time_tL�tm,�tm_sec�c#tm_min�c#tm_hour�c#tm_mday�c#tm_mon�c#tm_year�c#tm_wday�c#tm_yday�c#tm_isdst�c# __tm_gmtoff�i#$__tm_zone�#
#(+user_functionXYarityZc#arg_types[+#result_type\c#T;c�
Z
rel
	�lit
0�rel
argval
�#argof
�#narg
�#nocc
�#path
�#clashable
�#	Z0literal
'
�l#next_lit
�0#atom
��#sign
��#target
��#
	��term
farg
�#occ
;#fpa_id
c#sym_num

�#varnum
�#C
�#bits
�#	6�sym_ent0
R
�#sym_num
c#arity
c#lex_val
 c#eval_code
!c#skolem
"c#special_unary
#c#lex_rpo_status
$c#name
%�# special_op
&c#�op_type
'c#�op_prec
(c#�sort
)c#�	�����term_ptr
,term
-�#R
.#	��formula_ptr_2
1f
2�#prev
3�#R
3�#left
3�#right
3�#up
3�#down
3�#�formula
2 
��#d
��#R
��#t
��#C
��#quant_type
��#	�	~fpa_tree
6
7#left
8~#right
9~#left_term
:�#right_term
;�#C
<c#path
=�#	�	c�fpa_head
@
A#R
B�#path
C�#	��fpa_indexD;
Ftable
G�#���restrictdata
J	Gint_ptr
JR
�#i
�c#�contextP
L
M�#contexts
N�#�bound
O#�forbidden
P##�p
Qc#�built_in_multiplier
Rc#�
Sc#�R
T
#����?

�?	G#��?3�?�trail
Wcontext
X
#R
Y�#fp
Z#varnum
[c#	3�imd_tree
^R
_�#kids
_�#atoms
`#lab
a�#C
b�#max_vnum
e�#	�Vimd_pos�
hR
iV#imd
j�#9
k\#reset
lc#�H
mc#�	�m���
�
ukids
s� 
t�is_tree
pR
q�#u
um#lab
v�#C
w�#
	�Gis_pos�
zR
{G#is
|�#varvals
}�#9
~M#�reset
c#�H
�c#�	�^��+�fsub_pos
�
�#pos
�G#lclause(
�parents
�#'
��#prev_cl
�l#next_cl
�l#first_lit
�0#id
�c#pick_weight
�c#attributes
��#C
�3# bits
��#"heat_level
��##
�c#$	��list
�first_cl
�l#last_cl
�l#name
��#	r�cl_attribute
�name
c#u
�!#!R
�#	�1clause_ptr
�c
�l#R
�1#	mci_ptr
�R
�m#c
�l#v
�#	7Jclash_nd,
�nuc_atom
��#db
�J#u_tree
�~#subst
�
#tr
ŀ#found_atom
Ʋ#evaluable
�c#evaluation
�c#already_evaluated
�c# prev
�P#$R
�P#(	�	s�clock
�accum_sec
�i#accum_usec
�i#curr_sec
�i#curr_usec
�i#�ans_lit_node
�R
�# 
ր #lit
�0#	�� link_nodeD
� 
ۀ #next_sibling
ۀ #prev_sibling
ۀ #d
ۀ #child_first_ans
�#child_last_ans
�#first
݀#unit_deleted
ހ#goal
߲#goal_to_resolve
߲# current_clause
�l#$subst
�
#(tr
�#,unif_position
�~#0near_poss_nuc
�c#4farthest_sat
�c#8target_dist
�c#<back_up
�c#@	�n!formula_box�
�C
�c#subtype
�c#f
��#str
�n!#length
�c#pheight
�c#tx_off
�c#xy_off
�c#|abs_x_loc
�c#�abs_y_loc
�c#�d
�~!#�R
�~!#� 
�~!#�~!��c	� �!formula_ptr
�f
��#!R
�!#	�!"�!
#i
c#d
�!#s
z#t
	�double$"hnamefz#valgc#$f"nnamekz#vallc#minmc#maxmc#term�intlist%�"beta_reduce��U&t��&c
�'x��|'r��x's��t'q��p'ans��l(<#vars_in3��U&t0f"�)10��'r3��|%�#otter_containsBc��U&t@f"�&x@f"�'rB��|'rvalCc�x*	$rename_varsYc�vU&tTf"�)1T��&nextvarT��'rY��|'vZf"�x'i[c�t*�$rename_variables�cv�U&b~f"�&a~f"�)1~��&nextvar~��'err�c�|'i�c�x*%fsubst2����U&a���&x���&b���&c�
�'t�f"�x'ans�f"�t'r���p's���l'd�
�h*|%fsubst����U&aʲ�&xʲ�&bʲ�&c�
�+1�|%��}'err�c��}�%c�?,�%rename2��U&i�c�&j�c�&c�f"�'r���|,5&forbid_all�iU&a��&c1�
�&x��&c2�
�'r���|-�&forbid_all2i�	U.a	��.c1	
�.x	��.c2	
�/r��|0D'rename_bound*�	�U.a"��.c1"
�.b"��.c2"
�.trp"D'�11*|%��}/x+f"��}/y,f"��}2~
@/tr6���}	�3�'forbid_boundDc�5
U.p=
�.t=��/xD��|/rE��x0�'clear_forbiddenZ5
�
U.cX
�/iZc�|3U(get_context2o
�
�U.ccl�4pcc�/pp
�|/countqc/litr0�x3�(copy_context�
�yU.c�
�/p�
�|_IO_jump_t_IO_FILE_plus5stdout��gen_nodeproof_objectproof_object_node)�!��6Flagsh�(��
otter2/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeotterbeta.cstddef.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hstdlib.htime.hforeign.htypes.hheader.hbterms.hd�������
�#d[d�,��8�r/dr��:��dd(�d]f�Թ���G�d$�,��:��y+
qd�����r
Ue,8t�:+t��-�X,��r���'����	���-�rd���;#	��Ǝ�.���/d�,�����-���0d3�8XH�-"����1d+�8XH�-"����
+����V��H::�H�****	+eT��H:$,����8�V/d��H�w+d�d������$�F��:/c��$$$�:Too many variables required to rename bound variables to avoid accidental capture.Renaming bound variables in:
Oops, non-variable appears where variable expected in
forbid_boundotter2/beta.c0get_context2 called with a NULL parameterget_context2����|��A�B
�cA�B
��A�B
��A�B
vgA�B
�
A�B
D���A�B
�}A�B
QA�B
iIA�B
�	8A�B
�KA�B
5
TA�B
�
&A�B
��A�B
�)�"beta_reduce<#otter_contains�%rename2�%forbid_all�&rename_boundJ'forbid_bound�'clear_forbidden�'get_context2U(copy_contexty__stateterms_IO_FILEnext_varparentcontainervarnumsrel_stacktypestack_posnextunsigned intfirst_childmultiplier__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.comment4y	HK%�+�0��B�)>	HM(R�;�N	pP^@> jX?�f	xP�{�@�w	hQ
��A �	pQ��A��"B�"B&HB��F 	�I�����c��#vg4�

<iIH
P�\��kw������}�Q����	8�����	�K*85
THU�
&bn��{beta.cfsubstvars_inrename_varsrename_variablesfsubst2forbid_all2count.0beta_reduceotter_containsterm_ident2copy_termget_termget_relmemsetabendrename2forbid_allforbidden2forbidrename_boundvalidate_contextstdoutfprintfprint_term_nlget_trailFlagsfix_forbiddenforbid_bound__assert_failclear_forbiddenfree_int_ptrget_context2get_contextcopy_contextmemcpy����E��
p
u�� !X#	 K	!�	#

#


$
%+
$3
&?
$G
&e
�
'�
(#)f�[
`$h%t$|&�
�
�
�+�
*k
-�
/�

�
�
�
 L
\
c
h+�*�/�1�11?1p�����
w��u����:����a��-Y���T��(G����8p�,^�#G<��J� A!P!_!�!�"�"##"#X#\#�#�#�#&$*$I$�$�$#%'%^%�%�%�%�%J&N&�&�&�&+'/'e'i'�'�'�'((A(p(t(!04HL`dx|����������$(<@TXlp

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