Sindbad~EG File Manager
ELF � 4 ( �L$���q�U��VSQ��L���E� �C�D$��$����C�D$��$�������C�D$��$���� �E}� tJ� ��� �D$�E؉D$�D$ �$����E؉D$�$! ����$e �������E܃}�du!�����t�� ��u�������E���E� �E� �E� �� ��t����E��$@ ���� �$���� � ��tt�Eԋ@;E�|i�E�����E�E�H�U�J�D$�T$�E�D$�$l ����U�J�M�I� �؋5 �T$�L$�E�D$�\$�D$� �4$����� ��t�E�$���� @� �, ��tM� �D$�$� ����Eԋ@�D$�$ ���� �EԉD$�$���� �$����Eԉ$���� �EԉD$�$��������t�Eԉ$����Eԉ$����� ��~M� �� �ẺЙ�}̉Ѕ�u3� � ���
�T$�D$�D$ �$����������E܃}�duH�4 � 9�u#�D �E�E� �E�D$�$0 ��������t�������Eԃ}�du�}� t� ��~����}� t
�}�d������}�duS�����t�����t����E�h � ��� �D$�D$P �$����$x ���� �E܉EЃ}�jt7�}�j�}�it�2�}�kt�}�lt�$�E� �"�E� ��E� ��E� ��E�� � �Ћ
�E�D$�T$�D$� �$����E�D$�$� �������E܉$���U���(����E��D$ �D$ �$ ����D$< �D$H �$L ����$m ����E� �>�EH;E�~ �E� ��E� �E���E� �U�T$�D$�$� ����E��E�;E|��$� ����}� t�E��D$�$� �����$� ����� % $ > $ > :;I I :;
:;I8
:;
:;
:;I8
I
! I/ :;
:;I
:;I8
:; ! I/
:;I8
:;
:;I :; .?:;'I@ :;I
4 :;I
.?:;'@ 4 :;I?< 4 :;I?
� � GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) otter/main.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 � N char FILE .b � �._flags � # _IO_read_ptr H #_IO_read_end H #_IO_read_base H #_IO_write_base H #_IO_write_ptr H #_IO_write_end H #_IO_buf_base H #_IO_buf_end H # _IO_save_base H #$_IO_backup_base H #(_IO_save_end H #,_markers � #0_chain #4_fileno "� #8_flags2 &� #<_old_offset ( #@_cur_column ,� #D_vtable_offset -� #F_shortbuf . #G_lock 2 #H_offset ;0 #L__pad1 A� #T__pad2 B� #X_mode D� #\_unused2 F #` _IO_lock_t �
� _IO_marker �_next �� # _sbuf � #_pos �� # � b N
A � , N
A 3
} user_function XYarity Z� # arg_types [} #result_type \� #T � �
A � rel lit
�
rel argval # argof #narg #nocc #path { #clashable { # �
� literal
�� # next_lit �� #atom � #sign �N #target �N #
!
term farg # occ � #fpa_id � #sym_num
� #varnum � #type { #bits { # � N
A �
J term_ptr ,term - #
.J # �
� fpa_head @terms AJ #
B� #path CP # V � fpa_index D;Ftable G� # � � A � �
int_ptr J
�� # i �� #
p imd_tree ^
_p # kids _p #atoms `J #lab a� #type b{ #max_vnum e� # � rkids s� terms tJ
� is_tree p
q� # u uv #lab v� #type w{ #
�
� clause (�parents �� # � #prev_cl �� #next_cl �� #first_lit �� #id �� #pick_weight �� #attributes �] #type �� # bits �{ #"heat_level �N ##next_var �� #$ � list �first_cl �� # last_cl �� #name � # �
] cl_attribute �name � # u
� #
] # �
� clock �accum_sec �$ # accum_usec �$ #curr_sec �$ #curr_usec �$ # � i � d � s H t double -
ename fH # val g� # t
jname kH # val l� #min m� #max m� # P main � argc � s argv P sgiv_cl � �Lerrors � �Pstatus � �Tlevel � �Xfirst_of_next_level � �\str H �`xlog_fp V �d� � new_limit {� �h H V � print_banner � � C argc �� � argv �P �i �� �ppid �� �t stdout � stderr � Usable / Sos 0 Demodulators 1 Passive 2 Hot 3 Hints 4 Mace_constraints 5 Types 6 Fpa_clash_pos_lits =c Fpa_clash_neg_lits >c Fpa_pos_lits Bc Fpa_neg_lits Cc Fpa_clash_terms Gc Fpa_alphas Hc Fpa_back_demod Lc Is_pos_lits P� Is_neg_lits Q� Demod_imd Up Weight_purge_gen YJ Weight_pick_given ZJ Weight_terms [J Weight_purge_gen_index _� Weight_pick_given_index `� Weight_terms_index a� �
A � Flags h~ � -
A ; Parms n� � �
A Internal_flags p� $
A 1 Stats t� + �
A c Subsume_count u X i
A 1 Clocks yH Cons_sym_num }� Nil_sym_num }� Ignore_sym_num }� Chr_sym_num }� Dots_sym_num }�
,
A c User_functions �� Null_output �V Float_format � Overbeek_terms � Split_atoms � Bell �N Max_input_id �� Overbeek_world �� J � �
otter /usr/include /usr/include/bits main.c types.h stdio.h libio.h types.h header.h foreign.h NvZ�g+/��g!Y�uuv���Z==�#;����KY"�K���#.[�g惃0�Y�K�X� �g!Yu$(����w+1Y
�h�����;��gL�
%d input errors were found.%c
%d input errors were found.
=========== start of search ===========
Starting on level %d, last kept clause of level %d is %d.
%cStarting on level %d, last kept clause of level %d is %d.
given clause #%ld: (wt=%d)
%c%ld clauses have been given.
reducing weight limit to %d.
%cSearch stopped because sos empty.
Search stopped because sos empty. max_given max_gen max_kept max_seconds ???
%cSearch stopped by %s option.
Search stopped by %s option.
July 2006 1.4 ----- Otter-lambda %s %s -----
August 2001 3.2 ----- Based on Otter %s %s-----
The command was "