Sindbad~EG File Manager
ELF 4 ( U���(�E� �E��E��@<u�� ��u� �E��@�E�� �E��@ �E��}� t �E��@��t�E�@�}� �� �d ��t � �� �D$�T$�E��$����E��@<uR�� ��t�E��@ �$�����u6�E�� �E�&�E�$�@����� ��t �E � �E�@�E�} u���U���(�E� �E��E��@<u�� ��u� �E�@ �E��@�E�� �E��@ �E��}� t �E��@��t�}� �� �d ��t � �� �D$�T$�E��$����E��@<uR�� ��t�E��@ �$�����u6�E�� �E�&�E�$�@����� ��t �E � �E�@�E�} u���U���(�E�@�E��E��$�����t%�E� �@��E� � �T$�$������Y �� ��t�E�� �$�����ts�E��$�����u�E��$�����t1�� ��t
�E� �$����� ��t6�E� �@�$����$�E� �E���E��$�y����E��@�E��}� u桤 ��t�E�� �$������� �E��$������� �\ ���� �t ��t;�� ��u�E� � �@<t#� �
� �E� � �T$�L$�$����| ��tA�� ��u�E� �@� �@<t&� �
� �E� �@� �T$�L$�$�����U���(�E�@�E��E��$�����t%�E� �@��E� � �T$�$������Y �� ��t�E�� �$�����ts�E��$�����u�E��$�����t1�� ��t
�E� �$����� ��t6�E� �@�$�����$�E� �E���E��$����E��@�E��}� u桤 ��t�E�� �$������� �E��$������� �\ ���� �t ��t;�� ��u�E� � �@<t#� �
� �E� � �T$�L$�$����| ��tA�� ��u�E� �@� �@<t&� �
� �E� �@� �T$�L$�$�����U���(�E�@�E�� �E��@�@f���� �E��@ ��tw�� ��u"� �
� �E��@�T$�L$�$����� ��u �� ��u!�� ���� �E�$������� � �U��R�D$�$����m�� ��u"� �
� �E��@�T$�L$�$����� ��u �� ��u�� ��t'�E�$�����u� �U��R�D$�$����E��@�E��}� �����U���(�E�@�E�� �E��@�@f���� �E��@ ��tw�� ��u"� �
� �E��@�T$�L$�$����� ��u �� ��u!�� ���� �E�$������� � �U��R�D$�$����m�� ��u"� �
� �E��@�T$�L$�$����� ��u �� ��u�� ��t'�E�$�����u� �U��R�D$�$����E��@�E��}� �����U���(�E�@�E�� �E��@�@f��ta�E��@�@f��tQ�E��@ ��t$� �
� �E��@�T$�L$�$����"� �
� �E��@�T$�L$�$����d ��u �\ ��t�E��@�$�����E��@�E��� ��u
�}� �S�����U���(�E�@�E�� �E��@�@f��ta�E��@�@f��tQ�E��@ ��t$� �
� �E��@�T$�L$�$����"� �
� �E��@�T$�L$�$����d ��u �\ ��t�E��@�$����E��@�E��� ��u
�}� �S�����% $ > $ > I : ;
: ; I : ;
: ; I8
: ; I8
I ! I/ : ;
! I/
: ;I8
: ;
: ;I : ; .: ; ' @ : ; I
4 : ; I
.? : ; ' @ .? : ;' @ : ;I
4 : ;I
4 : ;I? < � GNU C 4.1.2 20061115 (prerelease) (Debian 4.1.1-21) otter/index.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 F rel � lit
� rel argval � # argof � #narg � #nocc � # path | #clashable | # F literal
�� # next_lit � #atom �� #sign � # target � #
� � term farg � # occ ' #fpa_id � #sym_num
� # varnum � #type | #bits | # "
� � � term_ptr ,term -� # next .� # � � 1 fpa_head @terms A� # next B1 #path C� # � [ fpa_index D;Ftable G[ #
l 1
� r � int_ptr Jnext �l # i �� # � rkids s terms t� is_tree pnext q # u u� #lab v� #type w| #
� � clause (�parents �l #
�> #prev_cl �� #next_cl �� # first_lit � #id �� #pick_weight �� #attributes �� # type �� # bits �| #"heat_level � ##next_var �� #$ > list �first_cl �� # last_cl �� #name �� # � � cl_attribute �name � # u
� #next � # D 7 � i � d � s t � double � ename f # val g� # ? jname k # val l� #min m� #max m� # � index_mark_clash � r � � t � �pr1 � �t � un_index_mark_clash ;� � , r :� � t <� �pr1 =� �t $ index_paramod j� d X atom i� � r k� �plit l �t s un_index_paramod �d � atom �� � r �� �plit � �t � index_lits_all � . � c � � lit � �t � un_index_lits_all �. Z � c �� � lit � �t 8 index_lits_clash Z c � � lit �t un_index_lits_clash ; � 4 c :� � lit < �t Fpa_clash_pos_lits =� Fpa_clash_neg_lits >� Fpa_pos_lits B� Fpa_neg_lits C� Fpa_clash_terms G� Fpa_alphas H� Is_pos_lits P Is_neg_lits Q
R � � Flags hB
r � ; Parms nb E ; �
otter index.c types.h header.h j�=Z�/�u��ɭ��/���� f .j�=Zu�/���ɭ��/���� f.j�4�ɑɑ�5�����u#��& .j�4�ɑɑ�5�����u#��&.i�Y>��"3��"+ho�� .i�Y>��"3��"+hn�� .i�Y�$"!בu�� .i�Y�$"!בv�
� ���� | � � A�B
� � A�B
� � A�B
d � A�B
, A�B
. , A�B
Z � A�B
� A�B
t t � u � � t� � t� � u � � t� � t� d u d e te g tg u t t . u . / t/ 1 t1 Z u Z [ t[ ] t] u t t � u d � s index_lits_all � un_index_lits_all � index_lits_clash 8 un_index_lits_clash � unsigned int container 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 .rel.debug_frame .debug_loc .rel.debug_pubnames .rel.debug_aranges .debug_str .comment .note.GNU-stack 4 � ! � % + 0 j B ~
� > �$ R I N �% b L � ^ �% �
o ` ~ � h z 8&
� � � @& � � : � Y Y � � � x � � � � � . � � < d �
M S c i t ~ � � � � � � � , � � � � . , 2 < Z � M ` s � index.c index_mark_clash un_index_mark_clash index_paramod un_index_paramod Flags Fpa_clash_terms Parms fpa_insert is_skolem fpa_delete eq_lit term_ident unit_clause pos_eq_lit neg_eq_lit Fpa_alphas index_lits_all Fpa_pos_lits num_literals Is_pos_lits is_insert Fpa_neg_lits Is_neg_lits un_index_lits_all is_delete index_lits_clash Fpa_clash_pos_lits Fpa_clash_neg_lits un_index_lits_clash ^ g m � � � � � A J P c s � � � �
* 9 B X � � � � � � � � " > D ^ z � � � � � � � 5 F Y f s | � � � � � � � � 6 @ F \ a j s � ! � " � # � � $ � � � � � � ! % # b l r � � � � � ! � " � ' � � $ � �
% ! / % A ' � ) � � � * � � � � ^ ) d z � * � � � � � v � 1 X \ `
� � �
� � �
= A E
� � �
� � �
V Z ^
H 0 4 H L ` d x | � � � � � �
Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists