Sindbad~EG File Manager
ELF X 4 ( U���x�Ef�E��Ef�E�f�}
uYf�} uR�E�f;E�u�E� �o �U��E�9� t�U��E�9� t��E� �? �E� �3 f�}
tf�} t�E�f;E�u�E
f;Eu��E� � f�} uKf�}
uDf�} u=f�}u6�E�D$�E�D$�E�D$�E�$�E�D$�E�D$����E�� f�} uf�}
tf�} uf�}t��E� � f�}� uf�}
tDf�}� t<f�}� t4f�}� t,f�}� t$f�}� tf�}� tf�}� tf�}[t�* f�}� u�E�P��E؋B�E܋B�E��Wf�}� t"f�}� tf�}� tf�}� t
f�}� t��U����E؋B�E܋B�E���U��E؋B�E܋B�E�f�}� u�E�P��EȋB�E̋B�E��Wf�}� t"f�}� tf�}� tf�}� t
f�}� t��U����EȋB�E̋B�E���U��EȋB�E̋B�E��E؋� �E��Eȋ� �E��U��Eȉ� �U��E؉� �E
f�E�f�E� �E�f;E�r�}�U����Ѝ� �U�
�D$�D
�D$�D
�D$�U����Ѝ� �U�
�$�D
�D$�D
�D$����E��}� t�E� � �E�@f�E��w���f�}� uf�}
tAf�}� t9f�}� t1f�}� t)f�}� t!f�}� tf�}� tf�}� t f�}[t��U؋Eĉ� �UȋE��� �E� �E���U����D$ ( �D$ �$ ����E�D$�E�D$�E�D$�E�$�E�D$�E�D$������ % :;I $ > $ > :;
:;I8
I ! I/ I
:; (
:;
:;I :; .:;'I@
:;I
4 :;I
.?:;'I@
! I/ � � yyy/var/alphaeq.c /home/beeson/Otter-Lambda GNU C 3.3.5 (Debian 1:3.3.5-13) size_t �s __u_char "� unsigned char __u_short #� short unsigned int __u_int $s __u_long %� long unsigned int __int8_t ( signed char __uint8_t )� __int16_t *7 short int __uint16_t +� __int32_t ,g int __uint32_t -s __int64_t 2� long long int __uint64_t 3� long long unsigned int __quad_t ;� __u_quad_t <� __dev_t �� __uid_t �s __gid_t �s __ino_t �� __ino64_t �� __mode_t �s __nlink_t �s __off_t �m long int __off64_t �� __pid_t �g � �__val �� # � g � __fsid_t �� __clock_t �m __rlim_t �� __rlim64_t �� __id_t �s __time_t �m __useconds_t �s __suseconds_t �m __daddr_t �g __swblk_t �m __key_t �g __clockid_t �g __timer_t �g __blksize_t �m __blkcnt_t �m __blkcnt64_t �� __fsblkcnt_t �� __fsblkcnt64_t �� __fsfilcnt_t �� __fsfilcnt64_t �� __ssize_t �g __loff_t �y __qaddr_t �g � __caddr_t �~ � char __intptr_t �g __socklen_t �s
J 1_ISupper �_ISlower �_ISalpha �_ISdigit �_ISxdigit � _ISspace �� _ISprint ��_ISgraph ��_ISblank _IScntrl _ISpunct _ISalnum unit V f � � digit s � ln s # val � # f bignum s � sign g # n � #d � # bigrat � arg #� ( argtag #
t -v
i .m
d /�
b 0� p *symbol &� # arity '� #info (� #args )p # � term *( double
unknown min max damped_oscillation dom_error bounded_oscillation unbounded_oscillation complex_approach approach � V tl �data �v # next �V #prev �V # termlist � alpha_aux g � Ua v �b v �f � �vg � �tx v �Xy v �Hsavex g �Dsavey g �@err g ��i � ��n � �� _ alpha_equivalent Bg � � Ua ?v �b ?v � p g � � table _ � �
yyy/var /usr/lib/gcc-lib/i486-linux/3.3.5/include /usr/include/bits /usr/include yyy alphaeq.c stddef.h types.h ctype.h heap.h bignum.h terms.h prover.h cruԜ�$��$��6ƸSxx����]d��P��r[c�. ���� |� � A�B
� R A�B
# � alpha_equivalent � unsigned int GCC: (GNU) 3.3.5 (Debian 1:3.3.5-13) .symtab .strtab .shstrtab .rel.text .data .bss .debug_abbrev .rel.debug_info .rel.debug_line .rel.debug_frame .rel.debug_pubnames .rel.debug_aranges .debug_str .note.GNU-stack .comment 4 � 4 X % 4 + @ ( 0 @ B F � >