Sindbad~EG File Manager

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

ELF�4(U���(�E�$�����u	�E����5�E�P�E��D$�$�����t�E��E�}�y�E�����E����E���U��S��D�E�$��������E�����E�E��@�E�@�D$�$����ЋE�f�P�E��@�$����E���E؃}�?-�E��E���t�E��E��E��@�$���9�uʃ}�@u�E��\�E��E���u�E����]�E��@�$�����E��ЋE�f�P�E�E���E�$�����uB����E�E��@�E�$����@�D$�$����ЋE�f�P�E�E����E�$����@�E�E�$���H�E�����E��E��@�E�D$�E�$����ЋE�f�P�E��E�$����E�P����E�E��E�D$�$�A����‹E��}�u
�U��E��	�U�E�B�E�E�E�$����E�E�$�����t��E��EȋEȃ�D[]�U����E�@�$���;Eu-�E�@�$����‹E�D$�$�����t	�E���E��E���U����D$�D$�E�$�����t*�D$�$����ЋEf�P�E�@��D$�D$�E�$�����t*�D$�$����ЋEf�P�E�@��D$�D$�E�$�����t/�D$�$����ЋEf�P�E���$����^�D$�D$�E�$�����t?�D$�$����ЋEf�P�E���$����E��@��$�����U���(�E���E�DŽ���E��}�?~鍅��D$�E�$�����E�}�uDž���"�E�$����E�$����E��E�����������U���8����E܋E�$����E�}�u�$����E�$�����u�$L����E�E��;�E܉$����E�E��E�E�$������$t����E�$����E�E�$����E�E�$����E��E�$�����‹E��E�$�����~�E�$����$�����u�$�����E�$����@�E��D$��E��$�����t�E��@�/�D$��E��$�����t�E��@��$�����E��$�!����‹E쉐�E싀��u�$����E�@�E�E�$�����������E���U���(����E�$����E�}�u,�E�D$�D$#�D$�$ ����E��e����E��E�D$�E�$����E�@�E��,�E����$����D$�E��$����E���(�E��}�u΋E��E��E�E���U��]�%$>$>:;II:;
:;I8
	:;
:;
:;I8
I
!I/:;
:;I
:;I8
:;:;
:;I:;:;.:;'I@:;I
4:;I
:;I
.?:;'I@.?:;'@4:;I
.?:;'I@A
�GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21)otter/ivy.c/home/beeson/Otter-Lambda	unsigned charshort unsigned intlong unsigned intsigned charshort intintlong long intlong long unsigned int__quad_t;�__off_t�#long int__off64_t�	McharFILE.a� �._flags�#_IO_read_ptrG#_IO_read_endG#_IO_read_baseG#_IO_write_baseG#_IO_write_ptrG#_IO_write_endG#_IO_buf_baseG#_IO_buf_endG# _IO_save_baseG#$_IO_backup_baseG#(_IO_save_endG#,_markers�#0_chain �#4_fileno"�#8_flags2&�#<_old_offset(#@_cur_column,�#D_vtable_offset-�#F_shortbuf.#G_lock2#H_offset;/#L__pad1A�#T__pad2B�#X_modeD�#\_unused2F#`	_IO_lock_t�
�_IO_marker�_next��#_sbuf��#_pos��#�aM
@�+M
@3Jrel	�lit
 
�relargval�#argof�#narg�#nocc�#pathz#clashablez#J
 literal
��#next_lit� #atom��#sign�M#target�M#
�
�termfarg�#occ+#fpa_id�#sym_num
�#varnum�#typez#bitsz#&�M
@��
�int_ptrJnext��#i��#
�clause(�parents��#�#prev_cl��#next_cl��#first_lit� #id��#pick_weight��#attributes�c#type��# bits�z#"heat_level�M##next_var��#$�list�first_cl��#last_cl��#name��#�
ccl_attribute�name�#u
i#nextc# �i�d�sGt	�doubleBnode��
bnodecar�#cdr�#atom M#label!G#�proof_object_node,id�#rule�#parent1�#parent2�#position1�#position2�#backward_substM#subst�#c�#�old_id�#�map�#�next�#���
@J	proof_objectsteps�#first�#last�#�	bnode_to_natural�Xb��Vi��tz
bnode_to_otterterm�Xi,b��z
�
rGi!��Pstr"G�Tt#��X)
W�t4��\�cr1:��`r2:��dlabel;G�harity<��lt=��pG�
special_is_symbolS�i�XtR��strRG�arityR��trans_logic_symbols[��tZ��~bnode_to_clauser��bq��ts��lt~��}iu��pU}c}��t�G
@?gparse_initial_proof_object�g&�fp�m�po�g�Tlisp_proof_object���Xb���\lisp_step���`�pn���de1���he2���le3���plabel�G�t	U�init_proof_object�&�fin�m�fout�m�obj�g�lq�pn���plst��tretrieve_initial_proof_object�g��4Initial_proof_object
gI��
otter/usr/include/usr/include/bitsivy.clisp.htypes.hproto.hcheck.hstdio.hlibio.htypes.hg��L�4u/v�u�!0:3g���ʮ�u(��u�u��g��yf	��lgK3g�ɼ�ɼ�����"3��Ւug����3g��g�弭ك����!&�g�g��Y�j��=4hY�g#��!��"��3=YTRUE$TFALSE$FNOT-OR|parse_proof_object: parse_listp returns NULLparse_proof_object: parse_listp nonlistparse_proof_object: step length < 3parse_proof_object: bad justification (1)INPUTEQ-AXIOMparse_proof_object: bad justification (2)parse_proof_object: NULL clauseerror parsing initial proof object
����|�XA�B
XA�B
D�iSA�B
�FA�B
}A�B
�A�B
&�A�B
�
A�B
ttXuXYtY[t[iuijtjltl�u��t��t�uttu�t��t�&u&'t')t)�u��t��t��u�E
�
special_is_symbol�
trans_logic_symbols�parse_initial_proof_objectsinit_proof_object�retrieve_initial_proof_object�varnamesunsigned intcontainer_IO_FILEGCC: (GNU) 4.1.2 20061115 (prerelease) (Debian 4.1.1-21).symtab.strtab.shstrtab.rel.text.data.bss.debug_abbrev.rel.debug_info.rel.debug_line.rodata.rel.debug_frame.debug_loc.rel.debug_pubnames.rel.debug_aranges.debug_str.comment.note.GNU-stack4�	�%�%+0�B�E
>	<(�RMN	�)^lDj��f	�)�w�`����	T*� �	\*��)��:��� @	�#��X-X
@}
PU]fpz����iS����F����#.?DJP&�b�������
ivy.cInitial_proof_objectbnode_to_naturalbnode_to_ottertermbnode_to_clauseatomstr_intget_termstr_to_snsn_to_strlengthcarcdrget_relspecial_is_symbolsn_to_aritystr_identtrans_logic_symbolsis_symbolterm_to_clauseparse_initial_proof_objectget_proof_objectparse_lispabendtrue_listpconnect_new_nodecadrcaddrnullpinit_proof_objectinit_proof_object_environmentfwriteget_listprint_proof_objectcl_copyappend_clretrieve_initial_proof_object
/fz���)NXm�������DRz������"5:`k!~�� ��!��� � \ g"�$�%��&�'��&�(��&)(*HW_jo&z������&�&+--8#_d.r/�0�1�2��tAf�
g	k	o	�	�	�	�	�	�	�	�	

*
.
�
�
�
�
�
�
(,0Mhl��������


@
�
0
4L
Pd
h|
��
��
��
�

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