Sindbad~EG File Manager

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

ELF� 4(U�����E��E؉D$�E�D$�E�D$�E�D$�E�D$�E�$�E�D$�E�D$�������f�}�uf�}�twf�}�/u�E�f�8uv�E�f�xul�E��@����t�E��@����t�M�E�f�8uA�E�f�xu4�E��@����t�E��@����t�Džd����Wf�}�-���E�f�8u�E�f�x���E�f�8/���E�@f�8���E�@f�xu~�E�@�@����t�E�@�@����t�Y�E�@��f�8uJ�E�@��f�xu:�E�@���@����t�E�@���@����t�Džd���������U��E�D$�E�D$�E�D$��D$��D$��D$�$������E��$�E��D$�E��D$����E��}�uDžd�����U���D$��D$��D$�E�D$�E�D$�E�D$�$������E��$�E��D$�E��D$����E��}�uDžd���������U��E�D$�E�D$�E�D$��D$��D$��D$�$������E��$�E��D$�E��D$���Džd����I�UȋE�D$�E�D$�E�D$�E�D$�E�D$�E�D$�$������E �$�E$�D$�E(�D$������u�E,�$�E0�D$�E4�D$������T�E��D$�E �$�E$�D$�E(�D$����E��D$�E,�$�E0�D$�E4�D$����E��������zt�E��������zt�Džd����V�E��e����]��E��]��E��}�	~��E�E����M��E����E��D$�Eȉ$�ẺD$�EЉD$����E���������w�$�}�y�E�E��Džd������E��E�������w�$�}�~�E�E��Džd�����E������E�E���E��E�����h����EȉD$�ẺD$�EЉD$�$�������h����$��l����D$��p����D$����E��}�tDžd�����}�~{��h����EȉD$�ẺD$�EЉD$��D$��D$��D$�$�������h����$��l����D$��p����D$����E��}�������d�����}�����h�����D$��D$��D$�EȉD$�ẺD$�EЉD$�$�������h����$��l����D$��p����D$����E��}�uDž`��������
Dž`�����`�����d������h����EȉD$�ẺD$�EЉD$��D$��D$��D$�$�������h����$��l����D$��p����D$����E��}�uDžd������h�����D$��D$��D$�EȉD$�ẺD$�EЉD$�$�������h����$��l����D$��p����D$����E��}�uDžd��������
Džd�����d�����U���x�E,�D$$�E0�D$(�E4�D$,�E �D$�E$�D$�E(�D$ �E�D$�E�D$�E�D$�E�$�E�D$�E�D$����E�}����E؉D$$�E�D$�E�D$�E�D$ �E�D$�E�D$�E�D$�E �$�E$�D$�E(�D$����EȉD$$�E�D$�E�D$�E�D$ �E�D$�E�D$�E�D$�E,�$�E0�D$�E4�D$����}�~1�U8�E؉�E܉B�E�B�U<�Eȉ�ẺB�EЉB�E��8�U8�Eȉ�ẺB�EЉB�U<�E؉�E܉B�E�B�E���E��E���%:;I$>$>:;
:;I8
I!I/	I
:;(
:;

:;I
:;I
8

:;I
8
'II:;
:;I8
&I.?:;'I@
:;I
4:;I
4:;I?<��yyy/prover/extrema.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�v	__u_char"�unsigned char__u_short#�short unsigned int__u_int$v__u_long%�long unsigned int__int8_t(	signed char__uint8_t)�__int16_t*:short int__uint16_t+�__int32_t,jint__uint32_t-v__int64_t2�long long int__uint64_t3�long long unsigned int__quad_t;�__u_quad_t<�__dev_t��__uid_t�v__gid_t�v__ino_t��__ino64_t��__mode_t�v__nlink_t�v__off_t�plong int__off64_t��__pid_t�j��__val��#�j�	__fsid_t��__clock_t�p__rlim_t��__rlim64_t��__id_t�v__time_t�p__useconds_t�v__suseconds_t�p__daddr_t�j__swblk_t�p__key_t�j__clockid_t�j__timer_t�j__blksize_t�p__blkcnt_t�p__blkcnt64_t��__fsblkcnt_t��__fsblkcnt64_t��__fsfilcnt_t��__fsfilcnt64_t��__ssize_t�j__loff_t�|__qaddr_t�j	�__caddr_t��	�char__intptr_t�j__socklen_t�v
M1_ISupper�_ISlower�_ISalpha�_ISdigit�_ISxdigit� _ISspace��_ISprint��_ISgraph��_ISblank_IScntrl_ISpunct_ISalnumunitYi��digitv�lnv#val�#	ibignumv�signj#n�#d�#bigrat�arg#�+argtag#
t-y
i.p
d/�
b0�s*symbol&�#arity'�#info(�#args)s#	�term*+double!0fractv#varaddv#intexpv#negexpv#ratexpv#rootsv#purev#gcdv#absv#relopv#factorialv#matrix v#inverse"v#functions#v#sums$v#flt%v#complex'v#complexpowers*v#+v
#mod,v#aflag0�� 	
left	y#right	y#line	j
#permanent	j#visible	j#reverse	j#oldeigen		j#defn	
.actualop
�	��jyy��	y1	
men

v#choice
v#operation
	�	b
status
v#choice
v#used
v#inhibited
v#men
v#hashbucket
B	

inh
Aindex
A:#
B:#kind
D:#link
E

#	�	inhibition
F�	�
,scopev#multorderv#typev#dp�#locusy#	j#realpart
�#imagpart�# name�
#(�
��varinf"
dldata�#next#	�
dlist�
� #addr�#increment�#indexj#functorv#j#name �#history!�#	�	parameter#"�02varlist&�#nvariables'j#maxvariables(j#eigenvariable)j#currentline*j#parameters+�#nparameters,j#maxparameters-j#varinfo.�# nextdefn/j#$defns0�#(maxdefns1j#,	�	�
	�vardata2�D)factorj#functionj#difj#intlinearj#gcdj#zeropowerj#fractexpj#negexpj#rootproductj# j#$infractionj#(complex!j#,domainflag#j#0ringflag%j#4orderflag&j#8arith'!#<hwnd(�#@polyflags)�aa
prop
y#line
j#link
a#	)assumption
)eqnsolver
	�	��jyy��,
$assumptions
�#maxassumptions
:#nextassumption
:#theorems
�#maxtheorems
:#nexttheorem
:#history
�#permhistory
�#maxhistory
v#workspace
�#maxworkspace
�# nextworkspace
!v#$solver
#y#(	�	g	v	�proverdata
$�topicj+,>line<+#nlines=j#(;;�		A�message>
�	unknownminmaxdamped_oscillationdom_errorbounded_oscillationunbounded_oscillationcomplex_approachapproachUtl�data�y#next�#prev�#	�termlist��,monotonejGUuy�xy�ay� by�,py�hqy�Xderivy�Hij�Derrj�@flagj��p�z3���za3���zb3���gap3���saveit3����extremapjG�Uuiy�xiy�aiy� biy�,mini��8maxi��<signpj�tuofaqy�Xuofbqy�Hzero�y�%�
yyy/prover/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeyyyextrema.cstddef.htypes.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hprover.hconstant.h�rD����Zd�Zd�W�8B��*�r��d��s�d��sm�Ke�dfI�f-fd�fd��e[�JJd::�::�r�u�<�G~&@�z�G��?����|�GA�B
GsA�B
'�5monotone,extrema�comdenomunsigned intlinenumberGCC: (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.comment4�	8&�%�+�0�RBB
�>	�'�R�N	X(^�j�Df	`( {4+w	�(
�_ �	�(�!����&�� $�	�%f�

G"%+2=KQXGs`extrema.cmonotoneislinearzeroleinferassumederivativeseminumericaldevaldomainextremasubstH����%.7Xt�����'Cd�����H�FOXd�����^gp|�������Bw���	�
p�
KO��AE2	0	4

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