Sindbad~EG File Manager

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

ELFx14(U��S���E
Hf�E��EHf�E�E��D$�E�$�E�D$�E�D$���E��}�t�E���E��D$�E�$�E�D$�E�D$��E��}�t�E��L�E��E�E��E�E��E�E��E�E��E�E��E�E�f;E�v�E�f�E���E���f�E��E�f�E�U �E�D$�D$��$������E �P�E��E�B�E�B�E �P���E��E�B�E�B�E��E��D$ �EȉD$�E؉D$�M �U������A�P��D$�B�D$�B�D$�] �U����Ѝ��S�
�$�D
�D$�D
�D$���f�}����Uʉ����EЃ�f�8���Uʉ����EЃ�f�x���Uʉ����EЃ��@����u�Uʉ����EЃ��@�8u�X�Uʉ����EЃ��@����uZ�Uʉ����EЃ��@�8u?�Uʉ����EЃ��@�@�8u!�E f���U �E���f�B�E��@�E��D$�E��$�E��D$�E��D$����U����E�9�|$�D$�D$H�D$�$����E��0������zt��E����E���������w�7�M �U������A�P�EȉD$�ẺD$�EЉD$�$������V�E�������w$�D$�D$R�D$�$"����M �U������A�P�Eȉ�ẺB�EЉBf�}�u�E f���U �E���f�B�E��
�E���W����E��]���U����E��E��E�����E��E�D$�E�D$�E�D$�E�D$�E�$�E�D$�E�D$����Eă}�t!��E��$����E��0�E�f�E�f�E��E�f;E�r��U����Ѝ��U�
�EȋD
�E̋D
�E��E�H���E��Uʉ����EЍP��E؋B�E܋B�E�f�}�uCf�}�u<�E܃���u
�E�8u�r�E܃���u�E�8u�E�@�8u�N�E��D$�E؉$�E܉D$�E�D$����E����8������E��@������zt�!��E��$����E���}�u4�E���������w�	�E���E������E��E��E����E���}�y.�E���������w��E���E���;E�u�E���E��j�}�~,�E�������w��E���E���;E�u�E���E������8�}�y�E�������w�}�~ �E���������w��E���;E�t�E���E����E��E�@f�E����E��$����U��E�)ЉE��E���U���x�U��E�D$�E�D$�E�D$�$�����f�}
�m�U
�����E��f�8���U
�����E��f�x���U
�����E���@����u �U
�����E���@�8u���U
�����E���@����u>�U
�����E���@�8u#�U
�����E���@�@�8u��U
�����E��f�8u`�U
�����E��f�xuF�U
�����E���@����u'�U
�����E���@����h����w�U �E$���E��f�}
u�E��}��E��D$�E��D$�E��D$�E�$�E�D$�E�D$����E�=t�E��-�EȉD$�E��D$�E��D$�E��D$�E�$�E�D$�E�D$����E�}�t�E����EȉD$�ẺD$�EЉD$�E�$�E�D$�E�D$����E�=t�E���E�U�‰�������E�U�E�)Љ‰�������E�}�y$�D$H�D$��D$�$R����}�y$�D$H�D$��D$�$[����U �E��U$�E��E��E���U���f�}
�m�U
�����E��f�8���U
�����E��f�x���U
�����E���@����u �U
�����E���@�8u���U
�����E���@����u>�U
�����E���@�8u#�U
�����E���@�@�8u��U
�����E��f�8u`�U
�����E��f�xuF�U
�����E���@����u'�U
�����E���@����p����w�U �E$���E��{f�}
u�E��h�U�E�D$�E�D$�E�D$�E�D$�E�D$�E�D$�$�����f�}�uD�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�$�E�D$�E�D$����E��D$�E��$�E��D$�E��D$����E��}�t	�E��p�E�������w�#�U؋E؉D$�E܉D$�E�D$�$������E$�D$�E �D$�E�D$�E�D$�E�D$�E؉$�E܉D$�E�D$����E��E���U���Xf�}
�X�U
�����E��f�8���U
�����E��f�x���U
�����E���@����u �U
�����E���@�8u���U
�����E���@����u>�U
�����E���@�8u#�U
�����E���@�@�8u��U
�����E��f�8u`�U
�����E��f�xuF�U
�����E���@����u'�U
�����E���@����x����w	�E��|f�}
u	�E�����l�U؋E�D$�E�D$�E�D$�$������E؉D$�E܉D$�E�D$�E�$�E�D$�E�D$����E�=t	�E���E�EԋE���U��S���E��D$�D$��$������]؍UȋE �D$�E$�D$�E(�D$�E�D$�E�D$�E�D$�$������EȉD$�ẺD$�EЉD$�$������U��E �D$�E$�D$�E(�D$�E�D$�E�D$�E�D$�$�����f�}
�[�U
�����E��f�8���U
�����E��f�x���U
�����E���@����u �U
�����E���@�8u���U
�����E���@����u>�U
�����E���@�8u#�U
�����E���@�@�8u��U
�����E��f�8u`�U
�����E��f�xuF�U
�����E���@����u'�U
�����E���@���������w�E��%f�}
u�E�������E��D$�E؉$�E܉D$�E�D$����E��}�t�E؉E��E܉E��E�E��U���E���E��B�E��B�E��D$�E��$�E��D$�E��D$����E��}�t�E��E��E��E��E��E��U�E���E��B�E��B�U������B��B�E��D$�E��D$�E�D$�E�D$�E�D$�E�$�E�D$�E�D$����E��}�t	�E�������E��E��E��]���U��S��t�E
f�E�U�E�D$�D$��$�����f�E��E�f;E�r��U����Ѝ��U�
�EȋD
�E̋D
�E��Ẽ���uf�}�uf�}�t*f�}�-uS�E��@����uE�E�f�8u<�E�f�xt�0�]�U����Ѝ��S�Eȉ
�ẺD
�EЉD
��Eȉ$�ẺD$�EЉD$�����u�E����E�D$�Eȉ$�ẺD$�EЉD$����E���������zt��E���E���������w�6�]�U����Ѝ��S��
��D
��D
�A�E���������w��E�D$�E����$�����tT�M�U����Ѝ��A��U��E�D$�$������E��D$�E��D$�E��D$�$��������M�U����Ѝ��A��E��E����\$�$������E��D$�E��D$�E��D$�$������o�E�D$�E��$�����t-�M�U����Ѝ��A‹E�D$�$������,�M�U����Ѝ��A��E��\$�$������E�@f�E��R����E��E��]���%:;I$>$>:;
:;I8
I!I/	I
:;(
:;

:;I
:;I
8

:;I
8
'II:;
:;I8
&I.?:;'I@
:;I
4:;I
4:;I
.:;'I@
:;I
4:;I?<S�yyy/prover/sturm.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�t	__u_char"�unsigned char__u_short#�short unsigned int__u_int$t__u_long%�long unsigned int__int8_t(signed char__uint8_t)�__int16_t*8short int__uint16_t+�__int32_t,hint__uint32_t-t__int64_t2�long long int__uint64_t3�long long unsigned int__quad_t;�__u_quad_t<�__dev_t��__uid_t�t__gid_t�t__ino_t��__ino64_t��__mode_t�t__nlink_t�t__off_t�nlong int__off64_t��__pid_t�h��__val��#�h�	__fsid_t��__clock_t�n__rlim_t��__rlim64_t��__id_t�t__time_t�n__useconds_t�t__suseconds_t�n__daddr_t�h__swblk_t�n__key_t�h__clockid_t�h__timer_t�h__blksize_t�n__blkcnt_t�n__blkcnt64_t��__fsblkcnt_t��__fsblkcnt64_t��__fsfilcnt_t��__fsfilcnt64_t��__ssize_t�h__loff_t�z__qaddr_t�h	�__caddr_t�	�char__intptr_t�h__socklen_t�t
K1_ISupper�_ISlower�_ISalpha�_ISdigit�_ISxdigit� _ISspace��_ISprint��_ISgraph��_ISblank_IScntrl_ISpunct_ISalnumunitWg��digitt�lnt#val�#	gbignumt�signh#n�#d�#bigrat�arg#�)argtag#
t-w
i.n
d/�
b0�q*symbol&�#arity'�#info(�#args)q#	�term*)double0fractt#varaddt#intexpt#negexpt#ratexpt#rootst#puret#gcdt#abst#relopt#factorialt#matrix t#inverse"t#functions#t#sums$t#flt%t#complex't#complexpowers*t#+t
#mod,t#aflag0�� 	
left	w#right	w#line	h
#permanent	h#visible	h#reverse	h#oldeigen		h#defn	
,actualop
�	��hww�	w/	
men

t#choice
t#operation
	�	b
status
t#choice
t#used
t#inhibited
t#men
t#hashbucket
@	
inh
Aindex
A8#
B8#kind
D8#link
E
#	�	inhibition
F�	�
,scopet#multordert#typet#dp�#locusw#	h#realpart
�#imagpart�# name�
#(�
��varinf 

dldata�#next
#	�
dlist�
� #addr�#increment�#indexh#functort#h#name #history!�#	�	parameter# �02varlist&�#nvariables'h#maxvariables(h#eigenvariable)h#currentline*h#parameters+�#nparameters,h#maxparameters-h#varinfo.�# nextdefn/h#$defns0�#(maxdefns1h#,	�	�
	�vardata2�D)factorh#functionh#difh#intlinearh#gcdh#zeropowerh#fractexph#negexph#rootproducth# h#$infractionh#(complex!h#,domainflag#h#0ringflag%h#4orderflag&h#8arith'#<hwnd(�#@polyflags)�_a
prop
w#line
h#link
_#	'assumption
'eqnsolver
	�	��hww��,
$assumptions
�#maxassumptions
8#nextassumption
8#theorems
�#maxtheorems
8#nexttheorem
8#history
�#permhistory
�#maxhistory
t#workspace
�#maxworkspace
�# nextworkspace
!t#$solver
#w#(	�	e	t	�proverdata
$�topich),>line<)#nlines=h#(99�		?�message>POLYnomialwFgsturm)h�UrS�qS�ans�� degR)��vdegQ*��tn+��rquo,S�Xrem,S�Hc-w��z.���i/h��err/h��numR0S��numQ0S��<nuih��UraS�qaS�ansiw�hciw�XujS�Herrkh�Ddegkh�@count1lh��count2mh��signnh��parityoh��zq���savenoder<��is���ns���sylvester�h��	UP�S�Q�S�cpos��� cneg���$nu1�h�tnu2�h�perr�h�lpos�h�hneg�h�dqpprime�S�Hpprime�S���coste_roy�h�	�UP�S�Q�S�cpos��� cneg���$g�S�hs�S�Xrem�S�Hcc�w��zЃ��err�h���nroots�h��UP�S�nu1�h�t�nroots_interval�h�UP�S�a�w�b�w� Q�S�hc1�w�Xc2�w��temp�w��errh��cpost��cnegt��numerizeh�UpS�ans�i��vn��tz��hkn�duw�H	Sone'wzero'overflow_errorh�%�
yyy/prover/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeyyysturm.cstddef.htypes.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hpolynoms.hconstant.h(��
�#d�#d�)�d�ro�H��2W��70&uHg���rru�8d����H(�$EV�WV���d&�WVV�V�:V�V�(�W[�'Ӫ�]e#��r��1��8d�1��r�**��r\���r�8rDC#d��#?\d��r�T��d
U��[8��r�#dd#d:�?d�d	q��H(C+W���V�:1W,rOWQ-V-c,�rgsturmyyy/prover/sturm.ci+2 < nz < 0.0�u�<�G~�dy���=�u�<�G~sylvesterpos >= 0neg >= 0V瞯�<V瞯�<V瞯�<V瞯�<�u�<�G~�dy���=����|��A�B
G���A�B
�6A�B
�	A�B
��A�B
�NA�B
G��A�B
D�[WegsturmFnu>sylvestercoste_roy�nroots�nroots_interval�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�	�8h%(+(0(�B�W>	8;�R,�N	<^�.�j(/�f	<p{�/_w	�<
�O0 �	�<�o0!��0��0&�0�5�	�7�
	�
!�(2<BPX��[cn�6x���	������N���������sturm.cnumerizeoverflow_errorgsturmmake_termpseudodivdeval__assert_failpolynegnuheapmaxreset_heapsylvesterpolyderivpolymultcoste_roypolynomial_gcdnrootsnroots_intervalsumtnegatesignedproductvalueoneseminumericalzeronearintmake_intmake_double��������D]mty�1@O9DXkz��J|��		d	t	{	�	�	�	�	�	"�� @�� `���!1"i#�$W$�%�%�%�)�&%.Rw''�'�(�)">*^"u(�)�*u���	�
n�
y}VZUY�����R248LPdh|�����

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