Sindbad~EG File Manager

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

ELF�94(U����$�����U����E�xt	�E��~�Ef�x�t.�Ef�x�t#�Ef�x�t�Ef�x�t
�Ef�x�t�	�E��<�E��E��}�u�%�E���$�����t	�E���E��@�E����E��E���U��S��4�}u$�D$R�D$<�D$\�$n�������E��U��E�@�B�U��E�@f�B�U��E�@f�B�E�xt�E��E��?�E��E��E�Ef�x�t�Ef�x�t�Ef�x�t�����E�U��E�����E�U�E�B�]�E��$�$�����E�@�E�]�E��$�	�����E�@�E�}�u�E��@�E��E����}�u�4����E�U�E�B�]�E��$�����E�E�E�@�E��ċE��E��S��}�u�D����E�}�u
�U��E��	�U�E�B�]�E��$�d�����E�E�E�@�E�봋E��E�E��4[]�U����E�E��E�@�8u�R�E��8!u�E�@�8=u�E��/�E��8+u,�E��E�E��8 t��E����E�E��8-u�E�� �E�����U��S��D�E�$�*����EЃ}�t�E�$����E���E�EȋEȉẼ=u
������$����ẺD$��$����D$�D$p��$����E؉D$��$�����$�����$����E؉E��D$�E�$����Eԃ}�u�$�����E��E�]�á�$�����E�EԀ8u��E��E�]�á�$�����Ճ}�t�Ẻ$����Eԉ$�L����Eԃ�D[]�U���(�D$�D$�������$����E�@������u�,�������D$����@�$�������@�������U��S��d�E��E��E��=u�$����E�xu�E���E�@�EԋEԃxu��E��Eԋ@�E����D$�E�$����E��D$�E�$����E��E��E�@�Eԃ}�u�A�Eԋ@�$������E܍��E��E܋U�‹E��@��Eԋ@�EԍE�뷋E�;E�t$�D$��D$��D$\�$n����E�d�E��D$�E؉$����E��D$�E؉$����EċEĉD$�E�D$�E؉D$�EȉD$�E�D$�E�$����E��E��E�;E�|��E܍��E��$����E��׋E�$����Eȉ$����}�u�$�����}�t�E��l����E̋E��@�E��E�;E�|��E�;E�}e�E܍��E��D$��$�����u�E�EĀ8t/�E܍��E��D$��$�����u�E�EĀ8u�E�듋E�;E�u�.����Eԃ}�u�ŰEԉB�	�UЋEԉB�EԉEЋUԋE�E���B�E��]��D$�E�D$�E܍��E��$����C�Eԃxu$�D$��D$A�D$\�$n����EԋP�EԉB�UԋẺ�Eԋ@f�x~u�Eԋ@f�@=�UԋEԀx���B�Eԋ@f�x=u-�Eԋ@�E��EԀxtf�E��f�E��U��E�f�P��Eԋ@f�@�E��Eԋ@�E��K����Ẻ$�����]������E̋�E�E��E��}�u�(�U�E��@�B�]������E��E�E���E��ЋE��@���]������E��E�@�B�E���E�$����Eĉ$����ẺE��E���d[]�U��S��$�E�$����E��}�u�E���E��@�E�}�u��U�E��E�@�E���U�E��@�B�E��E�}�u!�]�����E��@���E����E�8u��E�E�E��E���]������E��@���E���E��E��$[]�U����E�E��E���U����E�E����%:;I$>:;I$>:;
:;I8
I	'I
I&I
!I/:;
:;I8
:;
:;I
:;I8
:;(
:;&I'<!I:;:;:;I:;!I/ 
:;I!
:;I8
":;#
:;I$:;%.?:;'@
&.:;'I@
':;I
(4:;I
).:;'@
*.?:;'I@
+.?:;'I@
,:;I
-4:;I
�&�	otter2/simplify.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�sOwchar_tE�long int�cquota�#remb�#intdiv_tc��kquoti�#remj�#ldiv_tk�__compar_fn_t� 	5�
5
5;__u_char"Lunsigned char__u_short#nshort unsigned int__u_int$s__u_long%�long unsigned int__int8_t(�signed char__uint8_t)L__int16_t*�short int__uint16_t+n__int32_t,�__uint32_t-s__int64_t2Llong long int__uint64_t3olong long unsigned int__quad_t;L__u_quad_t<o__dev_t�o__uid_t�s__gid_t�s__ino_t��__ino64_t�o__mode_t�s__nlink_t�s__off_t��__off64_t�L__pid_t��a�__val�a#q�
qO__fsid_t�H__clock_t��__rlim_t��__rlim64_t�o__id_t�s__time_t��__useconds_t�s__suseconds_t��__daddr_t��__swblk_t��__key_t��__clockid_t��__timer_t��__blksize_t��__blkcnt_t��__blkcnt64_t�L__fsblkcnt_t��__fsblkcnt64_t�o__fsfilcnt_t��__fsfilcnt64_t�o__ssize_t��__loff_t�(__qaddr_t��__caddr_t�-3char__intptr_t��__socklen_t�sFILE.l��._flags
	�#_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
�#8_flags2
#�#<_old_offset
%#@_cur_column
)n#D_vtable_offset
*�#F_shortbuf
+�#G_lock
/#H_offset
8(#L__pad1
>:
#T__pad2
?:
#X_mode
A�#\_unused2
C#`__FILE>lwint_tbs�S__wchQ�__wchbR�3
q/T__countN�#__valueS�#__mbstate_tTi__pos#/#_G_fpos_tB�#__pos!(#"/#_G_fpos64_t#z�	&__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�	�		
�


s
:
@
K
W
�
�
s__gconv_step<?__shlib_handleu�#__modnamev�
#__counterx�#__from_namez-#__to_name{-#__fct}�	#__btowc_fct~]#__init_fct�#__end_fct��# __min_needed_from��#$__max_needed_from��#(__min_needed_to��#,__max_needed_to��#0__stateful��#4h�:
#8y:__gconv_step_data$@__outbuf�Q#__outbufend�Q#__flags��#__invocation_counter��#__internal_use��#__statep��#�/#__trans��# @FLQLe__gconv_btowc_fctKv|	��


L__gconv_init_fctN��	��

__gconv_end_fctO���

__gconv_trans_fctX

	:
�


s
:

@
:
@
K
W__gconv_trans_context_fct]]
c
	�
�
:

@
@
Q
Q__gconv_trans_query_fcta�
�
	�
�
�

�

W�
3�
�
__gconv_trans_init_fctd�
	�

�
:
__gconv_trans_end_fcte9?K
:
�__gconv_trans_dataB__trans_fctj�#__trans_context_fctk<
#__trans_end_fctl#hm:
#__nextn�#K__gconv_loaded_object�/G__gconv_info�__nsteps�e#__steps�
#h�G#Vyq__gconv_t�g��,4__cd2�#h3y#�,5__cd/�__combined4m_G_iconv_t5�_G_int16_t7�_G_int32_t8�_G_uint16_t9n_G_uint32_t:s__gnuc_va_list	+,3_IO_lock_t
��_IO_marker
�_next
��#_sbuf
��#_pos
��#@l�__codecvt_result
�__codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconv3
q23
q3
Hl__io_read_fn
_8	R�
:

-
e__io_write_fn
hh	��
:

�

e__io_seek_fn
p�	��
:

�
�(__io_close_fn
s�	��
:
fpos_tXiclock_t<�time_tL��tm,�tm_sec��#tm_min��#tm_hour��#tm_mday��#tm_mon��#tm_year��#tm_wday��#tm_yday��#tm_isdst��# __tm_gmtoff��#$__tm_zone��
#(/user_functionXYarityZ�#arg_types[/#result_type\�#T?�
q^
rel
	�lit
4�rel
argval
�#argof
�#narg
�#nocc
�#path
L#clashable
L#^4literal
'
�w#next_lit
�4#atom
��#sign
�3#target
�3#
��term
farg
�#occ
?#fpa_id
�#sym_num

n#varnum
n#;
L#bits
L#:�sym_ent0
J
�#sym_num
�#arity
�#lex_val
 �#eval_code
!�#skolem
"�#special_unary
#�#lex_rpo_status
$�#name
%�# special_op
&�#�op_type
'�#�op_prec
(�#�sort
)�#���3
q�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
��#;
�3#quant_type
�3#��fpa_tree
6
7#left
8�#right
9�#left_term
:�#right_term
;�#;
<�#path
=�#���fpa_head
@
A#J
B�#path
C�#��fpa_indexD;
Ftable
G�#�q�restrictdata
J Kint_ptr
JJ
�#i
��#�contextP
L
M�#contexts
N#�bound
O#�forbidden
P.#�multiplier
Q�#�built_in_multiplier
R�#�
S�#�J
T#��
q?
q?K.L
q?>
q?�trail
Wcontext
X#J
Y�#fp
Z#varnum
[�#>�imd_tree
^J
_�#kids
_�#atoms
`#lab
an#;
bL#max_vnum
en#�aimd_pos�
hJ
ia#imd
j�#1
kg#reset
l�#�@
m�#�x�q��
ukids
s� 
t�is_tree
pJ
q�#u
ux#lab
vn#;
wL#
�Ris_pos�
zJ
{R#is
|�#varvals
}�#1
~X#�reset
�#�@
��#��i�q+�fsub_pos
�
�#pos
�R#wclause(
�parents
�#'
��#prev_cl
�w#next_cl
�w#first_lit
�4#id
��#pick_weight
��#attributes
�#;
��# bits
�L#"heat_level
�3##
��#$��list
�first_cl
�w#last_cl
�w#name
��#}cl_attribute
�name
�#u
�!#!J
#�<clause_ptr
�c
�w#J
�<#xci_ptr
�J
�x#c
�w#v
�#BUclash_nd,
�nuc_atom
��#db
�U#u_tree
Â#subst
�#tr
ŋ#found_atom
ƶ#evaluable
Ǽ#evaluation
ȼ#already_evaluated
ɼ# prev
�[#$J
�[#(�~�clock
�accum_sec
Ί#accum_usec
ϊ#curr_sec
Њ#curr_usec
ъ#ans_lit_node
�J
�# 
֋ #lit
�4#�� link_nodeD
� 
ۋ #next_sibling
ۋ #prev_sibling
ۋ #\
ۋ #child_first_ans
�#child_last_ans
�#first
�3#unit_deleted
�3#goal
߶#goal_to_resolve
߶# current_clause
�w#$subst
�#(tr
�#,unif_position
�#0near_poss_nuc
�#4farthest_sat
�#8target_dist
�#<back_up
�#@y!formula_box�
�;
�#subtype
�#f
��#str
�y!#length
�#pheight
�#tx_off
�#xy_off
�#|abs_x_loc
�#�abs_y_loc
�#�\
�!#�J
�!#� 
�!#��!3
qc� �!formula_ptr
�f
��#!J
�!#�!"�!
#i
�#d
�!#s
-#t
	�double$*"hnamef-#valg�#$q"nnamek-#vall�#minm�#maxm�#unit}"�"n
q%out_of_space U&�"needs_translation&��U't$��(r&��|&X#Translate9��mU't5��(ans9��x(r:��t(r2:��p(r3:��l(r4:��h)�#postProcesslm�U'si-�(markerl-�|(im��x&)$term_str�-�*U'in|��(i���t(length���p(Length���X(s�-�T(translation���P(t���L){$set_vars_clause�*�U'ans�w�(varnames�{$��}(L�4��}�$-
q?*�%Simplify�w��U'c�w�(p1��x(q1��t(err��p(p��l(nlits��h(lits�%�d(NewLits�%�`(i��\(nNewLits��X(L�4�T(last_lit�4�P(ans�w�L(signs�-�H(newSigns�-�D(nospace_flag�-+&SimplifyInPlacep���	U,ciw�-anspw�x-lq4�t-pr�p-qr�l+S&Solve�w�	�	U,c�w�-ans�w�|+�&SolveInPlace���	�	U,c�w�-ans�w�|_IO_jump_t_IO_FILE_plusgen_nodeproof_objectproof_object_node(tfp�&`-�
otter2/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/usr/include/bitsotteryyysimplify.cstddef.hstdlib.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.htime.hforeign.htypes.hheader.hheap.hc�0d��9��r\sd$���Ԏ�r�&������d�����d����d��d�d�e��d�r�)u�wcq+u�����;�>��dVd�Id��:h��d��0+rrrx����:T�VVr��$�VZ1�ps��d�d���:fr�V�d��d�r-�$��Ƹ��-`�"+����|���Ԫ��d
�t�d��~���d����d����r�dd:3ddVOut of space in MathXpert heap: more than one megabyte used for a simplification.Translateotter2/simplify.c0%cterm too big, or other error, in calling external simplification.SimplifyMalloc could not allocate memory for the MathXpert heap.falsetrue����|�A�B
�A�B
��A�B
D�mkA�B
�RA�B
D�*lA�B
�`A�B
D���A�B
D��	A�B
�	A�B
[�&�"out_of_space�$Simplify�%SimplifyInPlace&SolveS&SolveInPlace�	__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�		�AH% 
+ 
0 
VBv�&>	0D�Rn31N	�F^�5$ j�6f	�F�{�7_w	pG
�78 �	xG�W8o��8��8&�8�H= 	h@}�
�"��,mk8�RA*lQ
`ms���������������`�$/6BNZ��j�	p�	simplify.ctfpneeds_translationTranslatepostProcessterm_strset_vars_clausenospace_flag.0out_of_spaceabend__assert_failget_termget_reltmpfilerewindprint_termfprintffgetposfflushcalloc_IO_getczap_termmemsetset_vars_termSimplifyset_nospace_handlerExternalSimplifyfreeget_clausestrcmpget_literalstr_to_termget_int_ptrSimplifyInPlaceSolveSolveInPlace		�	�	�	��[k�#+7?O	T\hpu} ���!�	���"��"#M$%���'!%!�	�	�	��!�!(<)N)Y)f	k�*�	�+�	�+",�-�	�	�	�^.�.�.�)�)	&_	.�	.trq[�e�9�����>����e��1]��_��3R����#C{�7i�.RG��U� L![!j!�!�"�"�"�"##l#p#�#�#A$E$�$�$�%�%�%,&0&n&r&�&'04HLdh|���������

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