Sindbad~EG File Manager
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�}� uDž�� �"�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��}� uE� �E��E�E���U�� ]� % $ > $ > :;I I :;
:;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 char short unsigned int long unsigned int signed char short int int long long int long long unsigned int __quad_t ;� __off_t �# long int __off64_t � M char FILE .a � �._flags � # _IO_read_ptr G #_IO_read_end G #_IO_read_base G #_IO_write_base G #_IO_write_ptr G #_IO_write_end G #_IO_buf_base G #_IO_buf_end G # _IO_save_base G #$_IO_backup_base G #(_IO_save_end G #,_markers � #0_chain � #4_fileno "� #8_flags2 &� #<_old_offset ( #@_cur_column ,� #D_vtable_offset -� #F_shortbuf . #G_lock 2 #H_offset ;/ #L__pad1 A� #T__pad2 B� #X_mode D� #\_unused2 F #` _IO_lock_t �
� _IO_marker �_next �� # _sbuf �� #_pos �� # � a M
@ � + M
@ 3 J rel � lit
� rel argval � # argof � #narg � #nocc � #path z #clashable z # J
literal
�� # next_lit � #atom �� #sign �M #target �M #
�
� term farg � # occ + #fpa_id � #sym_num
� #varnum � #type z #bits z # & � M
@ � �
� int_ptr Jnext �� # 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 �� # �
c cl_attribute �name � # u
i #next c # � i � d � s G t � double Bnode � �
bnode car � # cdr � #atom M #label !G # � proof_object_node ,id � # rule � #parent1 � #parent2 � #position1 � #position2 � #backward_subst M #subst � #c � #�old_id � #�map � #�next � #� � �
@ J proof_object steps � # first � #last � # � bnode_to_natural � X b � � V i � �t z
bnode_to_otterterm � X i , b � � z
�
r G i !� �Pstr "G �Tt #� �X )
W � t 4� �\ � c r1 :� �`r2 :� �dlabel ;G �harity <� �lt =� �p G �
special_is_symbol S� i � X t R� � str RG �arity R� � trans_logic_symbols [� � t Z� � ~ bnode_to_clause r� � b q� � t s� �l t~ ��}i u� �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 � �t retrieve_initial_proof_object �g � � 4 Initial_proof_object
g I � �
otter /usr/include /usr/include/bits ivy.c lisp.h types.h proto.h check.h stdio.h libio.h types.h g��L�4u/v�u�!0:3g���ʮ�u(��u�u��g��yf ��lgK3g�ɼ�ɼ�����"3��Ւug����3g��g�弭ك����!&�g�g��Y�j��=4hY�g#��!��"��3=Y TRUE $T FALSE $F NOT - OR | parse_proof_object: parse_listp returns NULL parse_proof_object: parse_listp nonlist parse_proof_object: step length < 3 parse_proof_object: bad justification (1) INPUT EQ-AXIOM parse_proof_object: bad justification (2) parse_proof_object: NULL clause error parsing initial proof object
���� |� X A�B
X A�B
D� i S A�B
� F A�B
} A�B
� A�B
& � A�B
�
A�B
t t X u X Y tY [ t[ i u i j tj l tl � u � � t� � t� u t t u � t� � t� & u & ' t' ) t) � u � � t� � t� � u � E
�
special_is_symbol �
trans_logic_symbols � parse_initial_proof_object s init_proof_object � retrieve_initial_proof_object � varnames unsigned int container _IO_FILE GCC: (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-stack 4 � �% � % + 0 � B � E
>