Sindbad~EG File Manager
ELF h 4 ( U����E� �E�@<u �E�@ �E��M�E�@<u �E�@�E��6�E�@ �E��E� �E�� �e��E�� �$���1E��E��@�E��}� uދE���U���(� ��u<�$�� ���� �E� ��E���¡ �� �E�}�a ~��D$ �D$ �E�$�����u�$ ���� �E� � �@ �$����E�D$�$�����u�$ ���� �E� �@� �$����������E艵��E�����E�iE�a ��)U�E�1ЉE�)U�����E��U��E��E����¡ ���E��P�E����¡ E����U���8� ��u �E� �� �E� �E�$����E��E��$����E��$� ���������Eԉ���E�����E�iEܨa ��)U܋Eܙ1ЉE�)U�E���¡ �� �E��X�E� � �@� �D$�E��$�����t0�E� �E� � � �@ �$����E �D$�$����E��E�@�E�}� t�}� t��E��$����E�E؋E���U���8� ��u�$@ ���� �E� �E� �E� �$e ����E� � �E���¡ �� ���� �E� �E�D$�$ ����M�E���¡ �� �E��+�E�E�E��$� ����E�� �$����E��@�E��}� uϋE��E؋E�E܋E�9E�}�E؉E܋E܉E�E�}�a �Q����E�D$ �E�D$�E�D$�$� �����U���8� ��u�$� ���� �E� �� �E���¡ �� ���� �E���¡ �� �E�� �E� � �@� �E��E� � � �@ �$����E�D$�$����E��E�D$�E��$�����t1�U�E�9�t>�E�U�D$�T$�$� ����E��$�����$( ����E��$����E�@�E�}� �W����E�}�a ������ % $ > $ > I : ;
: ; I : ;
: ; I8
: ; I8
I ! I/ : ;
: ;I8
: ;
: ;I .: ; ' I@ : ; I
4 : ; I
4 : ; I
.? : ; ' @ .? : ; ' I@ 4 : ;I? < � � GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) otter/overbeek.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 long int " char I rel � lit
� rel argval � # argof � #narg � #nocc � # path #clashable # I literal
� # next_lit � #atom �� #sign �" # target �" #
� � term farg � # occ * #fpa_id � #sym_num
� # varnum � #type #bits # %
� " � � term_ptr ,term -� # next .� # � � � & int_ptr Jnext �� # i �� # clause (�parents �� #
�U #prev_cl � #next_cl � # first_lit � #id �� #pick_weight �� #attributes �� # type �� # bits � #"heat_level �" ##next_var �� #$ & U list �first_cl � # last_cl � #name �� # � cl_attribute �
name � #
u
� #
next � # [ � i � d � s t � double 4 hash_term2 Kx v t J� � Lx �p; q r R� �t � overbeek_insert cv � , t b� � i d� �h� � � i i� �l * � t� �pp u� �t M overbeek_weight �� � � X t �� � ip �� �� � �� �dp �� �hfound �� �lcopy �� �p` � rc �� �t � print_overbeek_world �� � � � � i �� �`terms �� �dexcess �� �hmax �� �l" � n �� �pp �� �t u check_overbeek_world �� � � � � i �� �h � p �� �l: � wt1 �� �dwt2 �� �`rc �� �pt Ѣ �t Overbeek_world �� � � > �
otter overbeek.c types.h header.h � gu������=��= .k��W��(G��u> .g��uح@g�u)Q�� .g�uuv���v/=g===���s��� .g�����)Y��̻t�+� # overbeek_insert, bad term overbeek_insert, bad weight in term There is no Overbeek World to print!
start of Overbeek_world
%d:
end of Overbeek_world, terms=%d, overflow=%d, max_overflow=%d.
There is no Overbeek World to check! check_overbeek_world, wrong weight: %d %d check_overbeek_world, term not found: ���� | � v A�B
v 9 A�B
� A�B
� A�B
� A�B
t t v u v w tw y ty � u � � t� � t� � u � � t� � t� � u � � t� � t� � u h � 4 overbeek_insert � overbeek_weight M print_overbeek_world � check_overbeek_world � unsigned int container hashval 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 � D � % , + , 0 , ] B � � > � p R � N L ^ � O j L � f T P w � � � � l � � � � � � @ � _ : � � � � ( 0 X � � v
v 9 ' 6 = G M W _ l � | � � � � � � � � � � overbeek.c hash_term2 overbeek_insert Overbeek_world malloc is_symbol abend sn_to_str str_int get_term_ptr overbeek_weight copy_term renumber_vars_term term_ident zap_term print_overbeek_world puts printf p_term check_overbeek_world } � � � � � � � ! r � � � � � 3 X x � � � � � � � 3 8 H b g t ! � � � � � ) Z k � � � � ! � � � ! y � H � � � " M Q U v z � � � � � � � � � 5 9 k o s x | � � �
# 4 8 K
0
4 H
L `
d x
|
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists