Sindbad~EG File Manager

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

ELF$D4(U���(�E �D$�E$�D$�E(�D$�E�$�E�D$�E�D$�����t1�E �D$�E�$�E�D$�E�D$�����u�E����E �D$�E$�D$�E(�D$�E�$�E�D$�E�D$�����t1�E �D$�E�$�E�D$�E�D$�����u�E��if�}
tf�}u:f�}
t�1�E �D$�E�$�E�D$�E�D$�����u�E��!f�}tf�}u:f�}t�1�E �D$�E�$�E�D$�E�D$�����u�E���f�}^ub�E �D$�E$�D$�E(�D$�U��$�B�D$�B�D$�����t.�E �D$�E�$�E�D$�E�D$�����u	�E��pf�}^ub�E �D$�E$�D$�E(�D$�U��$�B�D$�B�D$�����t.�E �D$�E�$�E�D$�E�D$�����u	�E���E��E���U��S��d�E�D$�E�$�E�D$�E�D$����E�E�D$�E�$�E�D$�E�D$����E�}�u�E��l�}�u"�M�U���B�A�B�A�E��D�E��E��E�;E�|���]��D$�U���Ѝ��U�
�D$�D
�D$�D
�D$�$������Eȉ$�ẺD$�EЉD$�����tk�U���Ѝ��U�
�$�D
�D$�D
�D$�����u9�EЉ$����]�U���Ѝ��U�
��D
�C�D
�C�E��E�� ����}��}�u�}���E�$����E��.�}�u!�M�U���B�A�B�A�E�$����E��Eċ]���U����E�E��}�*t*�}�/t$�D$�D$n�D$�$����}=t�}~t��EȉD$�E؉D$�E�D$�E�D$�E �D$�E�$�E�D$�E�D$����U���D$��D$��D$�E؉D$�E܉D$�E�D$�$������E��$�E��D$�E��D$����Eă}�u4�U(�Eȉ�ẺB�EЉB�U$�E؉�E܉B�E�B�E��L�U$����B��B�U(����B��B�E���EȉD$�E؉D$�E�D$�E�$�E�D$�E�D$����U$�E؉D$�E܉D$�E�D$�E�D$�E�D$�E�D$�$������M��U$��D$�B�D$�B�D$��D$��D$��D$�$������E��$�E��D$�E��D$����Eă}�u �U(�Eȉ�ẺB�EЉB�E��$�M���D$��D$��D$�U$��D$�B�D$�B�D$�$������E��$�E��D$�E��D$����Eă}�u �U(�Eȉ�ẺB�EЉB�E�������U��E�D$�E�D$�E�D$��D$��D$��D$�$������E��$�E��D$�E��D$����Eă}�uX�U(�EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�$������U$�E��E�B�E�B�E����U���D$��D$��D$�E�D$�E�D$�E�D$�$������E��$�E��D$�E��D$����Eă}�uU�U(�EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�$������U$�E��E�B�E�B�E������5�U(�E��E�B�E�B�U$����B��B�E��E���U��S��T�Ef�E������t�E��of�E��E�f;E�r��]��U���Ѝ��U�
�D$�D
�D$�D
�D$��D$��D$��D$�$������E؉$�E܉D$�E�D$����E�}�t�E����E�@f�E��a����}}u�E��f�E��E�f;Er���U���Ѝ��U�
�$�D
�D$�D
�D$��������]��U���Ѝ��U�
�D$�D
�D$�D
�D$��D$��D$��D$�$������E؉$�E܉D$�E�D$����E�}�u�E����E�@f�E��*���f�E��E�f;Er��U���Ѝ��U�
�$�D
�D$�D
�D$�����u�]��U���Ѝ��U�
�D$�D
�D$�D
�D$��D$��D$��D$�$������E؉$�E܉D$�E�D$����E�}�u	�E���E�@f�E��1����E��Eԋ]���U����E�E�}�<t*�}�}t$�}�>t�}�|t�}�~t�}�=t�E��>�U��E؋B�E܋B�E�U����EȋB�E̋B�EЃ}�>u`�U��E؉D$�E܉D$�E�D$�EȉD$�ẺD$�EЉD$�$������E�D$�E��$�E��D$�E��D$����E���}�|u`�U��E؉D$�E܉D$�E�D$�EȉD$�ẺD$�EЉD$�$������E�D$�E��$�E��D$�E��D$����E��G�}�~t�}�<t�}�}t�f�}���f�}����E܃���u
�E�8u��E܃���um�E�8ue�E�@�8uZf�}�+uS�EȉD$�ẺD$�EЉD$�E�$����Eă}����U����B��B�E���}�~��f�}���f�}����Ẽ���u
�EЃ8u��Ẽ���uj�EЃ8ub�EЋ@�8uWf�}�+uP�E؉D$�E܉D$�E�D$�$~����Eă}�u&�U����B��B�E����E��D$�E�$�E�D$�E�D$����Eă}�t�E���E��D$�E��D$�E��D$�U��$�B�D$�B�D$�����t7�E��D$�E��D$�E��D$�U����$�B�D$�B�D$�����u	�E��8�E�D$�E��D$�E��D$�E��D$�E�$�E�D$�E�D$����E��E���U��VS��@�Ef�E�U��E��B�E��B�E��U����E��B�E��B�E�f�}�=t2f�}�<t+f�}�}t$f�}�|tf�}�>tf�}�~tDž����E�D$�E�D$�E�D$ �E��D$�E��D$�E��D$�E��$�E��D$�E��D$�����t#�U �E��E�B�E�BDž��w�E�D$�E�$�E�D$�E�D$�����u#�U �E��E�B�E�BDž��/�E�D$�E��$�E��D$�E��D$�����uP�E�D$�E��$�E��D$�E��D$�����t+f�}�*t$f�}�-tf�}�/tf�}�+tDž���E�D$�E��$�E��D$�E��D$�����uP�E�D$�E��$�E��D$�E��D$�����t+f�}�*t$f�}�-tf�}�/tf�}�+tDž��E��D$��D$��D$�E��$�E��D$�E��D$�����tMf�}�=t/f�}�~t(�U؋E��D$�E��D$�E��D$�$������3�E��E؋E��E܋E��E����D$��D$��D$�E��$�E��D$�E��D$�����t�E��E؋E��E܋E��E����]ȍ�(����E��D$�E��D$�E��D$�$�������(����D$��,����D$��0����D$�E��D$�E��D$�E��D$�$����������8����$����E؉D$�Eȉ$�ẺD$�EЉD$�����T�����8����$�����T���t�EȉE؋ẺE܋EЉE�f�}�-u)f�}�=t	f�}�~t��U��E؋B�E܋B�E��"f�}�-���X����D$�E�D$�$�������`�������B��B��`������E؉�E܉B�E�B�������X����D$��\����D$��`����D$�$����E �D$�E�D$�E�D$�E�D$������$������D$�� ����D$�����<�����<���tDž��
�M �U ��D$�B�D$�B�D$�$���Dž��R
�E�D$�E�D$�E�D$�E؉$�E܉D$�E�D$�����uDž��
f�}�/u�U��E؋B�E܋B�E�X����D$�E�D$�$�����f�}�*�H�EȉD$ ��x����D$�E�D$�E�D$�E�D$�E؉D$�E܉D$�E�D$�E�$����H����EȉD$�ẺD$�EЉD$�E؉$�E܉D$�E�D$�����tDž��<f�}�=tf�}�~t����`����Eȉ�ẺB�EЉB��`���������B��B�E�D$�E�D$�E�D$�Eȉ$�ẺD$�EЉD$�����t,�U ��X������\����B��`����BDž���E �D$�E�D$�E�D$�E�D$��X����$��\����D$��`����D$�������K��H�������`�������B��B��`������Eȉ�ẺB�EЉB�E�D$�E�D$�E�D$�Eȉ$�ẺD$�EЉD$�����t,�U ��X������\����B��`����BDž��
�E �D$�E�D$�E�D$�E�D$��X����$��\����D$��`����D$�������`
��`���������B��B��`����Eȉ�ẺB�EЉB�E�D$�E�D$�E�D$�Eȉ$�ẺD$�EЉD$�����t,�U ��X������\����B��`����BDž���	�E �D$�E�D$�E�D$�E�D$��X����$��\����D$��`����D$�������	f�}�+tDž��l	�U ��X������\����B��`����B�E�f�E�DžL���DžP����E�9�P���|�O�E�D$��P������Ѝ��U�
�$�D
�D$�D
�D$�����t��L������P����룃�L���~P�E��D$�E؉$�E܉D$�E�D$�����<�����<���tDž���E��E؋E��E܋E��E�DžL�������DžP����E�9�P���|�k�E�D$��P������Ѝ��U�
�$�D
�D$�D
�D$�����t$��L���xDž����P�����L�����P����뇃�L������E؉�h����E܉�l����E�p���f�}�=uC�U ��D$��D$��D$�E؉D$�E܉D$�E�D$�$������f�}�~u@�U ��D$��D$��D$�E؉D$�E܉D$�E�D$�$������^�U �D$�E�D$�$������E �P��h������l����B��p����B�E �P������B��BDž�����L������Ѝ��U�
�EȋD
�E̋D
�E�f�}�uJ�E����L���u���������h�������B��l�������B��p�������h����E�H���D$�D$+�$�����DžP�����P���;�L���|�O��P������Ѝ���p�����P������Ѝ��U�
��D
�D�D
�D��P����롋�L�����P����E�H9�P���|�K��P������Ѝ���p�����P��������E�P���B�D�B�D��P�����f�}�*t	f�}�/t�R�E��D$ ��x����D$�E�D$�E�D$�E�D$�EȉD$�ẺD$�EЉD$�E�$����H����?f�}�-���E�f�8*���E��D$ ��x����D$�E�D$�E�D$�E�D$�UЋ�D$�B�D$�B�D$�E�$����H�����x�����x����D$��|����D$�E��D$�$�����f�}�~��f�}�=����H����)‰Љ�H����f�}�-u>�UЋ�E��B�E��B�E����x������|�����E�DžH��������:�EȉE��ẺE��EЉE����x������|�����E�DžH���DžD���f�}�=tf�}�~t��H���x
DžD�����D���������@����] ��D������Ѝ��S�E��
�E��D
�E��D
��D$��D$��D$��x����$��|����D$�E��D$��������E��D$��h����$��l����D$��p����D$����] ��@������Ѝ��S�E��
�E��D
�E��D
�E�D$�E�D$�E�D$�U ��$�B�D$�B�D$������$Dž��pf��x�����f��z�������|����������E��8���������h����D$��l����D$��p����D$�$������E��D$������$������D$�� ����D$����] ��@������Ѝ��S�E��
�E��D
�E��D
�E�D$�E�D$�E�D$�U ��$�B�D$�B�D$������Dž��j�������������x����D$��|����D$�E��D$��h����D$��l����D$��p����D$�$������������D$�������D$������D$�$������E��D$������$������D$������D$����] ��@������Ѝ��S�E��
�E��D
�E��D
�E�D$�E�D$�E�D$�U ��$�B�D$�B�D$�����tDž��[�E�D$�E�D$�E�D$�E��$�E��D$�E��D$�����t�U �E �@
f�BDž��
Dž�����e�[^]�U���Hf�}
tf�}uf�}
t��E��cf�}�u �U�E��E�B�E�B�E��;f�}����U��E؋B�E܋B�E�f�}�t[f�}�uf�}�tMf�}�uff�}��w������E؍��%��u�?�E�f�xt�E�f�8u,�E�f�xt� �U�E��E�B�E�B�E��f�}�u�U�E��E�B�E�B�E��t�E
f�E�f�E��E�f;E�r�S�E�D$�U����Ѝ��U�
�$�D
�D$�D
�D$����E�}�u	�E���E�@f�E���E��E���U���h�Ef�E���D$��D$��D$�E�$�E�D$�E�D$�����t%��U���U�B��U�B�j��D$��D$��D$�E�$�E�D$�E�D$�����t%��U���U�B��U�B�
�U��E؋B�E܋B�E�U����EȋB�E̋B�E��E��Eă}�>���}�>�}�<t9�}�=�]��}�}ta�}�}�}�|���w�}�~���h�E؉D$�E܉D$�E�D$�EȉD$�ẺD$�EЉD$�U�$������O�E؉D$�E܉D$�E�D$�EȉD$�ẺD$�EЉD$�E�$�������EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�U�$��������EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�E�$�������EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�U�$������^�EȉD$�ẺD$�EЉD$�E؉D$�E܉D$�E�D$�E�$������$�D$2�D$
�D$�$>����E��%:;I$>$>:;
:;I8
I!I/	I
:;(
:;

:;I
:;I
8

:;I
8
'II:;
:;I8
&I.?:;'I@
:;I
:;I
4:;I
.:;'I@
4:;I
.?:;'I@
4:;I
:;I
.:;'I@
4:;I?<Im%yyy/prover/solvelin.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�w__u_char"�unsigned char__u_short#�short unsigned int__u_int$w__u_long%�long unsigned int__int8_t(
signed char__uint8_t)�__int16_t*;short int__uint16_t+�__int32_t,kint__uint32_t-w__int64_t2�long long int__uint64_t3�long long unsigned int__quad_t;�__u_quad_t<�__dev_t��__uid_t�w__gid_t�w__ino_t��__ino64_t��__mode_t�w__nlink_t�w__off_t�qlong int__off64_t��__pid_t�k��__val��#�k�__fsid_t��__clock_t�q__rlim_t��__rlim64_t��__id_t�w__time_t�q__useconds_t�w__suseconds_t�q__daddr_t�k__swblk_t�q__key_t�k__clockid_t�k__timer_t�k__blksize_t�q__blkcnt_t�q__blkcnt64_t��__fsblkcnt_t��__fsblkcnt64_t��__fsfilcnt_t��__fsfilcnt64_t��__ssize_t�k__loff_t�}__qaddr_t�k	�__caddr_t��	�char__intptr_t�k__socklen_t�w
N1_ISupper�_ISlower�_ISalpha�_ISdigit�_ISxdigit� _ISspace��_ISprint��_ISgraph��_ISblank_IScntrl_ISpunct_ISalnumunitZj��digitw�lnw#val�#	jbignumw�signk#n�#d�#bigrat�arg#�,argtag#
t-z
i.q
d/�
b0�t*symbol&�#arity'�#info(�#args)t#	�term*,double"0fractw#varaddw#intexpw#negexpw#ratexpw#rootsw#purew#gcdw#absw#relopw#factorialw#matrix w#inverse"w#functions#w#sums$w#flt%w#complex'w#complexpowers*w#	+w
#mod,w#aflag0�� 	
left	z#right	z#line	k
#permanent	k#visible	k#reverse	k#oldeigen		k#defn	
/actualop
�	��kzz��	z2	
men

w#choice
w#operation
	�	b
status
w#choice
w#used
w#inhibited
w#men
w#hashbucket
C	
inh
Aindex
A;#
B;#kind
D;#link
E
#	�	inhibition
F�	�
,scopew#multorderw#typew#dp�#locusz#	k#realpart
�#imagpart�# name�
#(�
��varinf#
dldata�#next#	�
dlist�
� #addr�#increment�#indexk#functorw#k#name �#history!�#	�	parameter##�02varlist&�#nvariables'k#maxvariables(k#eigenvariable)k#currentline*k#parameters+�#nparameters,k#maxparameters-k#varinfo.�# nextdefn/k#$defns0�#(maxdefns1k#,	�	�
	�vardata2�D)factork#functionk#difk#intlineark#gcdk#zeropowerk#fractexpk#negexpk#rootproductk# 	k#$infractionk#(complex!k#,domainflag#k#0ringflag%k#4orderflag&k#8arith'"#<hwnd(�#@polyflags)�ba
prop
z#line
k#link
b#	*assumption
*eqnsolver
	�	��kzz��,
$assumptions
�#maxassumptions
;#nextassumption
;#theorems
�#maxtheorems
;#nexttheorem
;#history
�#permhistory
�#maxhistory
w#workspace
�#maxworkspace
�# nextworkspace
!w#$solver
#z#(	�	h	w	�proverdata
$�topick,,>line<,#nlines=k#(<<�		B�message>
�	unknownminmaxdamped_oscillationdom_errorbounded_oscillationunbounded_oscillationcomplex_approachapproachV tl�data�z#next� #prev� #	�termlist���already_solvedk:Uaz�bz�z� get_whichvar>k:
Ut:z�:��natoms>k�tcnt>k�pi>k�lerr>k�hatomlist?��dww@z�H�sli_auxkk
Ufcw�ucz�xcz�coefc��$vc��(nkz�hckz�Xskz�Herrlk�Dhmw�@nonzero_sum�kUf�w�t�z�err�k�ti���rn���p�solve_linear_ineq�k�Ut�z�ans��f�w�ta�z�Xb�z�Herr�k�D�z��'solve_linear_ineq_fork�!Ut�z��z�ans��� m��vf��tuz�Xvz�Hwz��qz��az��bz��coefz��~constanttermz��~tempz��~rk��~ik��~jk��~signk��~side1k��~side2k��~errk��~savecomdenomflagk��~�derivative_subterm�k!�"Ut�z�ans���i���vn���terr�k�pu�z�X�negate_ineq�z�"m%Ut�z�f���va�z�Xb�z�Hone
zzero
false
true
minusone
�&�
yyy/prover/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeyyysolvelin.cstddef.htypes.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hprover.hconstant.hcW�W�<�<�`�`�rUt##d�dV�r:@P�)wU�:��dV�r
�r0�<Zd::����.8\d:�\d:�Zd8:�Zd8:�:�r	Ur���Hpd��d�H7pd��H3pd��r�u$�:dd`d`h#���[$d��#d�k�8U�u:d*�G:�%:�f�f�8M8eg��&Ԏ!d�����s��%�2�r:�M2�,d�2��I���2��I�d2��Ir����r=}��&���r=�Ⳣ��rCr@����*rJ%�E��A��RrO,Ver:ƺƣ+,-B)-8�:X-8��-4�2,���fd��:��:b:��:��9d��r\cs8%8%:dV====::$sli_auxyyy/prover/solvelin.ch== '*' || h == '/'negate_ineq0����|�:A�B
:�A�B
D�
rA�B
�A�B
D��A�B
�dA�B
H��!�A�B
�"�A�B
yM6already_solved�get_whichvarsolve_linear_ineq�solve_linear_ineq_for'derivative_subtermm%whichvarcomdenomunsigned 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.comment4m%	M@%�%+�%0�%�Bp'M>	DS�R�=�N	<T^PA@j�A�f	DT�{tB}w	�T
��B �	�T�C*�;C�;C&aC��G�	LK��

r� �"�
,:;BK:�X`!�sx�������������������d+/G_gqy�����solvelin.csli_auxnonzero_sumnegate_ineqalready_solvedequalscontainsget_whichvaratomsinderivative_subtermtypeimmediateconstantfree2__assert_failtwopartszeronecheckonencsproductlessthaninferget_complexlesolve_linear_ineqtrueis_linear_insolve_linear_ineq_forstrongnegatesumget_polyvalcomdenomflagset_polyvalcomdenomflagpolyvalmake_termcollectequationtnegateminusonesignedfraction__ctype_b_locfalse0U��H���]�1ds��-=DI������ 29AL!S![!�"�#��
$)%Zcl�$�%��$+%i#����$�%!#]!d!l!�&���	'!	%�	�	�	�	�	$
%v
�
�
�
�
$�
%�$�("'E(�)�)�)�
)�
)�
)�
*O*�+R��W|����,5>Gd�,�-�.�/01/�1���L+�*1����,�+����+����c+C2�7@Ij3�����1�1�4�5�5�5!!)!�5�5�5�0i�,0o�6�4( 0� � �!7e"�"8�"8�"8�"�")�")�")�")#)#),#5#8?#8J#8$'H$$�$'�$$�$39%F%V%]%b%x��	�
q�
RVu���/3��7;����HL��304LPdh��������

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