Sindbad~EG File Manager
ELF � 4 ( U����E�@����t�U�E�@%� f�B�Ef�x tX�Ef�8 u�Ef�xu�C�E�@f�E�f�E� �E�f;E�r�&�M�U������A�$����E�@f�E�����U��S�� �Ef�E�f�}
�_ �E�$�E�D$�E�D$������> �E� �]��E���� ����w��E�D$ �$������ �E�������w� �E��p��E��D$�E��$�����tU�U��E��}��E�f
f�E��m��]��m��E��D$�$������E�D$�E��$�E��D$�E��D$���� �E��E��\$�$������E�D$�E��$�E��D$�E��D$����� �E��D$�E��$�����t�U�E��D$�$������ �E�E��\$�$������ f�}
tf�} u.f�}
t�%�E�D$�E�$�E�D$�E�D$����G �E���|�����|���+�� ��|���+��|���*� � ��|���-t��|���^�R �y �E�D$�U��$�B�D$�B�D$���f�}�-u�M�U���B�A�B�A� f�}� u`f�}�uY�E����u
�E�8 u��E����u8�E�8u0�E�@�8 u%�E�D$�E�$�E�D$�E�D$����O �E�D$ �D$- �$������E�P�E��E�B�E�B� �E�D$�U��$�B�D$�B�D$����U��E
�D$�D$* �$�����f�}�-ur�E�����U��E�B�E�B�E�f�}� u+f�}�u$�E����u�E�8uf�E� f�E� �� �U�E��E�B�E�Bf�E� f�E� � f�}� u_f�}�uX�E����u
�E�8 u��E����u7�E�8u/�E�@�8 u$�U�E��E�B�E�B�E�$���� �E� f�}� u(f�}�u!�E����u�E�8uf�E� f�E� � �U�E��E�B�E�Bf�E� f�E� ��E�f;E
r� �E�D$�U��Ѝ� �U�
�$�D
�D$�D
�D$���f�}� uf�}�u�E����u
�E�8u�0�U����Ѝ� �U�E�
�E�D
�E�D
�E�@f�E��E�@f�E��Z���f�}�v
f�E�* �E�f�E�f�}�u�U��E؋B�E܋B�E�f�}� u�E�E؋E�E܋E�E�}� ~�U�E؉�E܉B�E�B� �}� y%�E�D$�E؉$�E܉D$�E�D$����g �U�E
�D$�D$+ �$�����f�E� f�E� �E�f;E
r� �E�D$�U��Ѝ� �U�
�$�D
�D$�D
�D$���f�}� u=f�}�u6�E����u
�E�8 u�T�E����u�E�8u
�E�@�8 u�3�]�U����Ѝ� �S�E�
�E�D
�E�D
�E�@f�E��E�@f�E��6���f�}�v�Ef� + �U�E�f�Bf�}�u�M�E�P���B�A�B�A�5 f�}� u�E�D$ �$������ �U��$�B�D$�B�D$������� f�E� �E�f;E�r�� �]�U��Ѝ� �S�
�EȋD
�E̋D
�E�f�}�-u�UЋ�EȋB�E̋B�E��Ẽ���uf�}� u f�}�u�kf�}�/ur�E��@����ud�E�f�8 u[�E�f�xuQ�EЃ��@����u@�EЃ�f�8 u4�EЃ�f�xu'�EЋ@�8�EЃ��@�8�E�@f�E������E�f;E��� �EȉD$�U��$�B�D$�B�D$����U�Eȉ�ẺB�EЉB�E�$�)���� �E�D$�U����$�B�D$�B�D$���f�}� uAf�}�u:�E����u/�E�8u'�E�D$�U��$�B�D$�B�D$����@ f�}� uVf�}�uO�E����u
�E�8 u��E����u.�E�8u&�E�@�8 u�E�D$ �$������� �E�D$ �D$^ �$������E�P���E��E�B�E�B�E�@�D$�U��$�B�D$�B�D$���� �E�U
�T$�U��T$�$�����f�E� �E�f;E
r�Q�M�U����A�D$�U��Ѝ� �U�
�$�D
�D$�D
�D$����E�@f�E�룋]��� % :;I $ > $ > :;
:;I8
I ! I/ I
:; (
:;
:;I
:;I
8
:;I8
:; .:;'@
:;I
4 :;I
.?:;'@
� �
yyy/prover/gsub.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
left v # right v #line g
#permanent g #visible g #reverse g #oldeigen g # defn
� � , scope s # multorder s # type s # dp � #locus v #
g #realpart
� #imagpart � # name � #( � � � varinf & dl data � # next # � dlist � � #addr � # increment � #index g #functor s #
g #name ~ #history !� # � parameter #& � 0 2varlist &� # nvariables 'g #maxvariables (g #eigenvariable )g #currentline *g #parameters +� #nparameters ,g #maxparameters -g #varinfo .� # nextdefn /g #$defns 0� #(maxdefns 1g #, v � � vardata 2� ~
0fract
s # varadd
s # intexp
s # negexp
s # ratexp
s # roots
s # pure
s # gcd
s # abs
s # relop
s # factorial
s # matrix
s # inverse
"s # functions
#s # sums
$s # flt
%s # complex
's # complexpowers
*s # comdenom
+s
# mod
,s # aflag
0� � erasecolors � Ut � �i � �~n � �| gsub 8� �
Uexpr ,v �ans ,� �temp 8v �hprod 8v �Xu 8v �Hsign 9g �Di :� �Bj :� �@f ;� ��kk <m ��� value >� �� � � �
yyy/prover /usr/lib/gcc-lib/i486-linux/3.3.5/include /usr/include/bits /usr/include yyy gsub.c stddef.h types.h ctype.h heap.h bignum.h terms.h defns.h vaux.h arith.h d�,Ԫ��+�s,�:WW�rVU5WV�HWd�WM�rVWB�W�dW��rr:�d�:B:�Xr�d�:��6#(z�r�r:rd:Wd�Y��6D+{�rr�r�#H+r:����:�W%��WBVW��%W�F� V瞯�< ���� |� � A�B
�
A�B
G� � � gsub �
unsigned int linenumber 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 .rodata .rel.debug_frame .rel.debug_pubnames .rel.debug_aranges .debug_str .note.GNU-stack .comment 4 �
p! % �
+ �
0 �
$ B � � >