Sindbad~EG File Manager

Current Path : /usr/home/beeson/Otter-Lambda/
Upload File :
Current File : /usr/home/beeson/Otter-Lambda/binders.o

ELFx54(U��]�U����]�U��S��4����E�����E�����E��E��E�;E�|�P�U����Ѝ��U�
�D$�D
�D$�D
�D$�E�$�E�D$�E�D$�����t��E��릋E�;E�|$�D$�D$+�D$	�$����]�U������Ѝ��U�D
��D
�C�D
�C�U�E���U������Ѝ��U�E�D
�E �D
�E$�D
��4[]�U�����E��$�����=u�����E��B��E��E�B�E�B��@�}�u����U���B��U��WVS��|��xu$�D$ �D$F�D$	�$������E��B�E��B�E���P��EȋB�E̋B�E�f�}�}uzf�}�}us�UЃ���E؋B�E܋B�E�E؉D$�E܉D$�E�D$�U���$�B�D$�B�D$��������D$ �D$O�D$	�$����U�����E؋B�E܋B�E�f�}�t��P��E؋B�E܋B�E�f�}�t$�D$ �D$V�D$	�$����E܃��������E�����E�����E��E�H�E��}�y�P�E؉D$�E܉D$�E�D$�U����Ѝ��U��
�$�D
�D$�D
�D$�����t��E��먃}�$�D$ �D$f�D$	�$/����U������Ѝ��E�����������:�E�H9E�u�E���E��$�����E�@�E��E�;E�|��U������E��X�U����Ѝ��U��
��D
�C�D
�C�U��������E��HԋU������Ѝ��E��ύ4�����U��������E��PԸ ��+M��������#B�E��U��������E��PԸ�����M���#B�E��U��������E��PԋE���#E��B�E������E���E��$�����@���@�$�����xu#��$������)��@���@�$�����@��|[^_]�U���X��E��E�E�f�}
tf�}uf�}
t��E���}�}t6�}�<t0�}�=t*�}�~t$�D$3�D$��D$	�$@�����}�u�<�U��E؋B�E܋B�E��E؉EЋE؉D$�E܉D$�E�D$�E�$�E�D$�E�D$�����t�E����}�<���}�}t�}�~t�~�U��D$�B�D$�B�D$�U��$�B�D$�B�D$�����tH�U����D$�B�D$�B�D$�U����$�B�D$�B�D$�����t�E��T�}�~����D$��D$��D$�U����$�B�D$�B�D$�����tK�U��D$�B�D$�B�D$�U����$�B�D$�B�D$�����t�}�=�����E����}�~����D$��D$��D$�U����$�B�D$�B�D$�����tH�U��D$�B�D$�B�D$�U��$�B�D$�B�D$�����t�}�~�����E��3�}�~����D$��D$��D$�U����$�B�D$�B�D$�����tH�U��D$�B�D$�B�D$�U��$�B�D$�B�D$�����t�}�=�����E���}�~����D$��D$��D$�U����$�B�D$�B�D$�����tH�U��D$�B�D$�B�D$�U����$�B�D$�B�D$�����t�}�~�����E���E�@�E�����E��E���U�����E��}�t�E�f�8�u��E��@�E���}�u	�E��U�M�E��P���B�A�B�A�M�E��P�����B�A�B�A�M�E��P���B�A�B�A�E��E���U����E�E�����E�����E�����E��E�4�����4�����&��4����w��4����t����4���-������+f�}
t$�D$j�D$��D$	�$v����U����E؋B�E܋B�E�M��E؉D$�E܉D$�E�D$�U����D$�B�D$�B�D$�$������E��$�E��D$�E��D$����M��U��$��D$�B�D$�B�D$�E؉D$�E܉D$�E�D$�$������E��$�E��D$�E��D$������E�P��E؋B�E܋B�E�E�P����EȋB�E̋B�EС�D$��D$��D$�Eȉ$�ẺD$�EЉD$���������D$��D$��D$�Eȉ$�ẺD$�EЉD$���������D$��D$��D$�Eȉ$�ẺD$�EЉD$�����uu��D$��D$��D$�Eȉ$�ẺD$�EЉD$�����u=��D$��D$��D$�Eȉ$�ẺD$�EЉD$�����u���E�
�E���x����E��D$�E�D$�E�D$�E�D$�$�����f��x���@u$�D$j�D$��D$	�$�����E���|�����f��|����E��E�;E�|�&�U����Ѝ��E��f;E�u��E���ЋE�;E�|$�D$j�D$��D$	�$������x����D$��|����D$�E��D$�Uĉ����E��P��$�B�D$�B�D$�����u$�D$j�D$��D$	�$�����Uĉ������E��PԸ�M���B��h�����D$��D$��D$��x����D$��|����D$�E��D$�$�������h����$��l����D$��p����D$�����D$��D$��D$�Eȉ$�ẺD$�EЉD$�����tI��X�����x����D$��|����D$�E��D$��D$��D$��D$�$������G��X�����D$��D$��D$��x����D$��|����D$�E��D$�$�������X����$��\����D$��`����D$������X����EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�$�������X����$��\����D$��`����D$���f�}
����D$��D$��D$�U����$�B�D$�B�D$�����t_��x����E؉D$�E܉D$�E�D$�EȉD$�ẺD$�EЉD$�$�������x����$��|����D$�E��D$������H����EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�$�������H����$��L����D$��P����D$����]��8����EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�$�������8����$��<����D$��@����D$�����U���X�=u�E����E�}�u��E�f�8�u��E�@�E���}�u�E����E�P��E؋B�E܋B�E�E�P����EȋB�E̋B�EЋE�@�E�}�u$�D$��D$ �D$	�$�����E�%���
�?�U�E؉�E܉B�E�B�U�Eȉ�ẺB�EЉB�E�f�8~u&�U����B��B�E���E�f�8<t$�D$��D$*�D$	�$����E�@f�8���E�@f�xux�E�@�@����u�E�@�@�8u�1�E�@�@����uE�E�@�@�8u7�E�@�@�@�8u&�U����B��B�E��8�U����B��B�E���U�E؉D$�E܉D$�E�D$�$������E�f�8<t$�D$��D$8�D$	�$����E�@f�8u{�E�@f�xun�E�@�@����u�E�@�@�8u�1�E�@�@����u;�E�@�@�8u-�E�@�@�@�8u�U����B��B��U����B��B�U����B��B�E��E���U���X�=u�E�����E�B�E�B�E�f�}�}t�E�����xu�E����P��E؋B�E܋B�E�f�}�}t�E���U��D$�B�D$�B�D$�U����$�B�D$�B�D$�����u	�E��O�M�U�����B�A�B�A�M�U���B�A�B�A�M�U�����B�A�B�A�E��E���%:;I$>:;I$>:;
:;I8
I	'I
I&I
!I/:;(
:;
:;I
:;I
8

:;I
8
:;
:;I8
&I.?:;'I@
.?:;'@
.?:;'@
:;I
4:;I
4:;I
.?:;'I@
.?:;'I@
 :;I
!4:;I
"4:;I
#4:;I?<�pyyy/prover/binders.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�v wchar_tE�long int�cquota�#remb�#intdiv_tc��kquoti�#remj�#ldiv_tk�__compar_fn_t�#	8�
8
8>__u_char"Ounsigned char__u_short#qshort unsigned int__u_int$v__u_long%�long unsigned int__int8_t(�signed char__uint8_t)O__int16_t*�short int__uint16_t+q__int32_t,�__uint32_t-v__int64_t2Olong long int__uint64_t3rlong long unsigned int__quad_t;O__u_quad_t<r__dev_t�r__uid_t�v__gid_t�v__ino_t��__ino64_t�r__mode_t�v__nlink_t�v__off_t��__off64_t�O__pid_t��d�__val�d#t�
t __fsid_t�K__clock_t��__rlim_t��__rlim64_t�r__id_t�v__time_t��__useconds_t�v__suseconds_t��__daddr_t��__swblk_t��__key_t��__clockid_t��__timer_t��__blksize_t��__blkcnt_t��__blkcnt64_t�O__fsblkcnt_t��__fsblkcnt64_t�r__fsfilcnt_t��__fsfilcnt64_t�r__ssize_t��__loff_t�+__qaddr_t��__caddr_t�06char__intptr_t��__socklen_t�v�1_ISupper�_ISlower�_ISalpha�_ISdigit�_ISxdigit� _ISspace��_ISprint��_ISgraph��_ISblank_IScntrl_ISpunct_ISalnumunitq
tdigitvIlnv#valI#bignum%�sign�#nO#dO#bigrat]arg#��argtag#t-(i.�d/4b0O"*symbol&q#arity'q#info(q#args)"#�term*�double�	0fract	v#varadd	v#intexp	v#negexp	v#ratexp	v#roots	v#pure	v#gcd	v#abs	v#relop	v#factorial	v#matrix	 v#inverse	"v#functions	#v#sums	$v#flt	%v#complex	'v#complexpowers	*v#	+v
#mod	,v#aflag	0>k	 

left
(#right
(#line
�
#permanent
�#visible
�#reverse
�#oldeigen
	�#defn

�actualop�	�		�	�
(
(
�	
0(�	men
v#choicev#operation�	^
bstatusv#choicev#usedv#inhibitedv#menv#hashbucket�	�
inhAindexA�#8B�#kindD�#linkE�
#p
inhibitionFp
v,scopev#multorderv#typev#dp�#locus(#8	�#realpart
4#imagpart4# namev#(�6
tvarinf�
�dldata4#next�#�dlist�N #addrN#increment4#index�#functorv#8�#name 0#history!T#4�parameter#�\
02&�	#-'�#maxvariables(�#eigenvariable)�#currentline*�#parameters+\
#nparameters,�#maxparameters-�#.b
# nextdefn/�#$defns0h
#(maxdefns1�#,Z�k	vardata2k�D
)factor
�#function
�#dif
�#intlinear
�#gcd
�#zeropower
�#fractexp
�#negexp
�#rootproduct
�# 
�#$infraction
�#(complex
!�#,domainflag
#�#0ringflag
%�#4orderflag
&�#8arith
'�#<hwnd
(�#@polyflags
)}
aprop(#line�#link#�assumption�eqnsolver	*0	J�
(
(
�	k,$assumptionsk#maxassumptions�#nextassumption�#theorems�	#maxtheorems�#nexttheorem�#history�	#permhistoryw#maxhistoryv#workspace}#maxworkspace�# nextworkspace!v#$solver##(qv�proverdata$Jtopic��,>line<�#nlines=�#(��
t	�6message>�v	unknownminmaxdamped_oscillationdom_errorbounded_oscillationunbounded_oscillationcomplex_approachapproach��tl�data�(#next��#prev��#�termlist��get_binders�
U�init_binders
#U�setlocus"#9Ux(�savelocus�	�savej��p(�i"��x-#��t$�	�p%b
�l��addbinder59�Up2(�oldlast5��|�releasebindersD��UhD(�XpD(�HqD(��i^���-_���`�	��ab
���jr����at���bt���
isbinder���Z	Up�(����tu�(�Xf�v�Tg�v�Piget_infinitesimal��Z	�	Uh��	�z��	�p��	����|fillbinders��	2Ut�(�f�v�tx�(�Xa�(�H-п�DѬ	�@�b
���pmu���i���w�(��~&6
t�get_limit_info�2RU x�	� a�	� dir�	�!��t"z(�X"b(�Hbinders_intervalI�RpU leftB�	� xB�	� rightB�	�"firstI(�h"secondI(�X#zero)(#infinity)#minusinfinity)#right)#left)#undefined)#bounded_oscillations)#unbounded_oscillations )binders�lastbinder��1�
yyy/prover/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/usr/include/bitsyyybinders.cstddef.hstdlib.htypes.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hprover.hconstant.h9V/9:1r����G)u�$/�-ic���V�d�d��/��$d��d8$dr�r$瀀��G)u*-�V�;8>.(u�
�V���Ɯ�-��c�sd�=�:r2����}}���r
Uc��d����r]�s���L+dVVWd���-.V���)u,m%i�W]�=__]+e���)�d�d��*::���-o����#-k���r
Ud��dr����r�9��V�rsetlocusyyy/prover/binders.c0releasebindersi>0isbinderf==125 || f =='<' || f == '=' || f == 126fillbinders((t).arity)==4((w).symbol) != 64i<nvariablesequals(varlist[nvariables-1],w)get_limit_infomarker((marker->data).symbol) == '<'����|�
A�B

A�B
#A�B
D�9{A�B
��A�B
F�����A�B
Z	�A�B
�	DA�B
2 A�B
RA�B
���get_binders�init_binderssetlocus�addbinder�releasebinders�isbinder
get_infinitesimalifillbinders&get_limit_info�binders_intervalpvarlistmarkercomdenomvarinfounsigned intnvariableslinenumberGCC: (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.comment4p	�=h%�+�0��B��>	,D�R�.�N	�E^@1 j`2f	�E�{p3�w	�F
�,4 �	�F�L4C��4��4&�4�9 	0<��


*
7#@O[gn|9{�������������Z	���	D��3=BPY_b2 qv�Rbinders.clastbinderbindersget_bindersinit_binderssetlocusget_nvariablesget_varlistget_varinfoequals__assert_failaddbindermallocatenospacereleasebindersset_nvariablesfree2isbinderinfinityminusinfinityget_infinitesimalfillbindersleundefinedbounded_oscillationsunbounded_oscillationsgetnewvarzeroinfinitesimallessthanrightneget_limit_infoleftfirstdependsbinders_interval+3;��
�
�
�@OTZbht������
�
�
��m}
�
�
���
�
�
�t�
�
�
��$/4?GMWbjoz��
�
�
W��   @y� � � �-!6!?!a��!�!�!�)	a	�	

m

}

�

�
�
$�
0$L� � � ��!�!�!��%%%.7&@&I&fo'x'�'��(�
�




f

v

}

�
�
�

�

�

�
)()1)X*}� � � ��)�)�)�+	)))B+g�*��,�,�,
I+k�+�-,:N�
�
�
�1)8)@)`
p
w
|�,�,,/ /(/W0k
{
�
��  	 !!%!0)7)?)Zo��wu��
3t�
(��(,{�����/3ETcrv�����,0[~������CGw����>04HLdh|����������

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists