Sindbad~EG File Manager

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

ELF�;4(U���X�E�P��E�B�E�B�E�E���P����E؋B�E܋B�E�E�P����D$�B�D$�B�D$�E�$�E�D$�E�D$�����u�E���f�}�*��f�}���f�}�*��f�}����E�f�8/�|�E�@f�8�l�E�@f�x�[�E�@�@�����F�E�@�@�8�4��D$��D$��D$�E�P����$�B�D$�B�D$��������E�f�x���E��@��������D$��D$��D$�U����$�B�D$�B�D$��������E�f�8/�|�E�@f�8�l�E�@f�x�[�E�@�@�����F�E�@�@�8�4��D$��D$��D$�E�P����$�B�D$�B�D$���������D$��D$��D$�U����$�B�D$�B�D$��������E�f�8+���E��@��f�8���E��@��f�xuv�E��@���@����u_�E��@���@�8uK�U����D$�B�D$�B�D$�E��P��$�B�D$�B�D$�����t�E��/f�}�/���D$��D$��D$�U����$�B�D$�B�D$�������f�}�/����D$��D$��D$�U����$�B�D$�B�D$��������E�f�8*���E�f�x�u��D$��D$��D$�E�P����$�B�D$�B�D$������1�E�@f�x� �E�@�@������E�f�8*���E�f�x����D$��D$��D$�E�P����$�B�D$�B�D$��������E�@f�8+���E�@�@��f�8���E�@�@��f�xus�E�@�@���@����u\�E�@�@���@�8uH�E�P��D$�B�D$�B�D$�E�@�P��$�B�D$�B�D$�����t	�E���E��E���U���X�E�P��E�B�E�B�E�E���P����E؋B�E܋B�E�E�P����D$�B�D$�B�D$�E�$�E�D$�E�D$�����u�E���f�}�*��f�}���f�}�*��f�}����E�f�8/�|�E�@f�8�l�E�@f�x�[�E�@�@�����F�E�@�@�8�4��D$��D$��D$�E�P����$�B�D$�B�D$��������E�f�x���E��@��������D$��D$��D$�U����$�B�D$�B�D$��������E�f�8/�|�E�@f�8�l�E�@f�x�[�E�@�@�����F�E�@�@�8�4��D$��D$��D$�E�P����$�B�D$�B�D$���������D$��D$��D$�U����$�B�D$�B�D$��������E�f�8+���E��@��f�8���E��@��f�xuv�E��@���@����u_�E��@���@�8uK�U����D$�B�D$�B�D$�E��P��$�B�D$�B�D$�����t�E��/f�}�/���D$��D$��D$�U����$�B�D$�B�D$�������f�}�/����D$��D$��D$�U����$�B�D$�B�D$��������E�f�8*���E�f�x�u��D$��D$��D$�E�P����$�B�D$�B�D$������1�E�@f�x� �E�@�@������E�f�8*���E�f�x����D$��D$��D$�E�P����$�B�D$�B�D$��������E�@f�8+���E�@�@��f�8���E�@�@��f�xus�E�@�@���@����u\�E�@�@���@�8uH�E�P��D$�B�D$�B�D$�E�@�P��$�B�D$�B�D$�����t	�E���E��E���U���X�E�P��E�B�E�B�E�E���P����E؋B�E܋B�E�E�P����D$�B�D$�B�D$�E�$�E�D$�E�D$�����u�E��hf�}�*�Vf�}��Kf�}�*�@f�}��5�E�f�x�'�E��@�������D$��D$��D$�U����$�B�D$�B�D$���������D$��D$��D$�U����$�B�D$�B�D$��������E�f�8+���E�@��f�8uw�E�@��f�xug�E�@���@����uS�E�@���@�8uB�U��D$�B�D$�B�D$�E�P��$�B�D$�B�D$�����t	�E���E��E���U���X�E�P��E�B�E�B�E�E���P����E؋B�E܋B�E�E�P����D$�B�D$�B�D$�E�$�E�D$�E�D$�����u�E���f�}�+��f�}���f�}�+��f�}����U��D$�B�D$�B�D$�U��$�B�D$�B�D$������t�E�f�8*�g�E�f�x�Y�E�@f�x�H�E�@�@�����3��D$��D$��D$�E�P����$�B�D$�B�D$��������E�f�8-���U����D$�B�D$�B�D$�E��P��$�B�D$�B�D$��������E�f�8/����D$��D$��D$�E��P��$�B�D$�B�D$�����tL��D$��D$��D$�E��P����$�B�D$�B�D$�����t	�E���E��E���U����E�E�U��E؋B�E܋B�E�U����EȋB�E̋B�EЃ}�}���Ef�8���Ef�x���E�@����u
�E�@�8u�(�E�@����uW�E�@�8uL�E�@�@�8u>�D$�E�D$�E�D$�E�D$�E�$�E�D$�E�D$�P	�E��C	�}�<���Ef�8���Ef�x���E�@����u
�E�@�8u�(�E�@����uW�E�@�8uL�E�@�@�8u>�D$�E�D$�E�D$�E�D$�E�$�E�D$�E�D$��E���}�}t�}�<t��E��f�}�u=f�}�u6�E܃���u
�E�8u�D�E܃���u�E�8u
�E�@�8u�#f�}�uRf�}�uK�E܃���u@�E�8t�6�E؉E��E܉E��E�E��EȉE؋ẺE܋EЉE�E��EȋE��E̋E��E�f�}�u@f�}�u9�Ẽ���u
�EЃ8u��Ẽ���u�EЃ8u
�EЋ@�8u�gf�}�uf�}�u�Ẽ���u
�EЃ8u�D��D$��D$��D$�Eȉ$�ẺD$�EЉD$�����u�E��8�E؉E�f�}�u^f�}�uW�Ẽ���u
�EЃ8u��Ẽ���u6�EЃ8u.�EЋ@�8u#�}�t�}�t������u�E����}�u(f�}�u!f�}�u�Ẽ���u�EЃ8u�E��}�u(f�}�u!f�}�u�Ẽ���u�EЃ8u�E��}�+�_f�}��T�E�f�8u,�E�f�xu�E��@����u�E��@�8t?��D$��D$��D$�U����$�B�D$�B�D$�����u��U��E؋B�E܋B�E��Q�E�f�8u<�E�f�xu2�E��@����u$�E�@�8u�U����E؋B�E܋B�E���E��}f�}�^uR�E�f�8uF�E�f�xu9�E��@����t�E��@����t��U��E؋B�E܋B�E��E؉E�}�t*�}�t$�}�t�}� t�}�t�}�t�E����U��E��B�E��B�E��E��D$�E��D$�E��D$�E�$�E�D$�E�D$�b���t�E���}�u>�E��D$�E��D$�E��D$�E�$�E�D$�E�D$������t�E��W�}�u>�E��D$�E��D$�E��D$�E�$�E�D$�E�D$�����t�E���E���U��E��B�E��B�E�f�}�tf�}�u	f�}�u��E���f�}���f�}����Ẽ���u~�EЃ8uv�}�^up��D$��D$��D$�U����$�B�D$�B�D$�����t3�U��E؋B�E܋B�E��E؉E�}� t6�}�t0�E��1�}�t�}�t�}�t�}� t�E��
�E�P����D$�B�D$�B�D$�E��$�E��D$�E��D$�����u�E����}�t\�}�tVf�}��f�}��t�Ẽ���u
�EЃ8u�+�Ẽ����O�EЃ8�C�EЋ@�8�4�E��D$�E��D$�E��D$�E�$�E�D$�E�D$�W���t�E��'�}�t�}�t�Gf�}�u@f�}�u9�Ẽ���u
�EЃ8u��Ẽ���u�EЃ8u
�EЋ@�8u�e�}���f�}�uf�}�u�Ẽ���u�EЃ8t:��D$��D$��D$�Eȉ$�ẺD$�EЉD$�����u�>�E��D$�E��D$�E��D$�E�$�E�D$�E�D$����t�E��/�}�t�}� t�Gf�}�u@f�}�u9�Ẽ���u
�EЃ8u��Ẽ���u�EЃ8u
�EЋ@�8u�e�}���f�}�uf�}�u�Ẽ���u�EЃ8t:��D$��D$��D$�Eȉ$�ẺD$�EЉD$�����u�;�E��D$�E��D$�E��D$�E�$�E�D$�E�D$���t	�E��:�E��1�E��D$�E��D$�E��D$�E�$�E�D$�E�D$���E��E���U��S���E�P��E�B�E�B�E�E���P����E؋B�E܋B�E��E�E��E؉E��} t�}�}t�}�}t��E���E�P����E��B�E��B�E��E�E��}�t�}�t�}�t�}� t�}�t�}�u4�U��D$�B�D$�B�D$�E��$�E��D$�E��D$�����u�E���}�u�E��}�u�E��}��Df�}�u=��D$��D$��D$�U����$�B�D$�B�D$�����u�E���U��EȋB�E̋B�E�f�}�u
�Ẽ���u��E��vf�}�*�h��D$��D$��D$�U����$�B�D$�B�D$������'f�}���U��E��B�E��B�E�f�}�+��f�}����E���f�8���E���f�x���E����@�������E����@�8���E�f�8*���E�f�x����D$��D$��D$�E��P��$�B�D$�B�D$�����tF�EȉD$�ẺD$�EЉD$�E��P����$�B�D$�B�D$�����t�E���E��f�}�+�Bf�}��7��D$��D$��D$�U����$�B�D$�B�D$��������U��E��B�E��B�E�f�}�*u	f�}�u��E��|��D$��D$��D$�U���$�B�D$�B�D$����ËEȉD$�ẺD$�EЉD$�U�����$�B�D$�B�D$���!؅�tI��D$��D$��D$�U�����$�B�D$�B�D$�����t�E����E���}���f�}�+u	f�}�+u��E��f�}�u	f�}�u��E��t�E�f�8-u}��D$��D$��D$�E��P��$�B�D$�B�D$�����t=��D$��D$��D$�U����$�B�D$�B�D$�����u�E����U��E��B�E��B�E�f�}�*��f�}�����D$��D$��D$�U���$�B�D$�B�D$�����t[�E���f�xuN�E����@����u=��D$��D$��D$�U�����$�B�D$�B�D$�����u�E���E��D$�E��D$�E��D$�U��$�B�D$�B�D$�����u�E����E����}�t�}� t��}�u�}�<t�E���}� u�}�<t�E��f�}�*uDf�}�u=��D$��D$��D$�U����$�B�D$�B�D$�����u�E��0�U��EȋB�E̋B�E�f�}�u
�Ẽ���u��E��f�}�+uDf�}�u=��D$��D$��D$�U����$�B�D$�B�D$�����u�E���U��E��B�E��B�E�f�}�*uq�EȉD$�ẺD$�EЉD$�U���$�B�D$�B�D$�����t=��D$��D$��D$�U�����$�B�D$�B�D$�����u	�E���E���E��E��Ą[]�%:;I$>$>:;
:;I8
I!I/	I
:;(
:;

:;I
:;I
8

:;I
8
'II:;
:;I8
&I.:;'I@
:;I
4:;I
.?:;'I@
.:;'I@
:;I
4:;I
4:;I?<'i!yyy/prover/fasttrig.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���notpioverfourkiUaz�xz�lz�hrz�X�notpiovertwoEki�
Ua?z�x?z�lEz�hrEz�X,notpiok�
�Uaiz�xiz�loz�hroz�X�notoddpiovertwo�k�%Ua�z�x�z�l�z�hr�z�Xdomain_implies�k%NUa�z�b�z�g�w�tf�w�ph�w�lu�z�Xv�z�Htemp�z��x�z���fasttrig_poskNi!Upz�rz�strictk� az�hbz�Xnz�Huz��xz��fa	w��fb	w��f	w��two�zfour�minusone�pi�piover2�y&�
yyy/prover/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeyyyfasttrig.cstddef.htypes.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hprover.hconstant.hdd�:�
����r	Udd�:�
����r]dd�:���r]dd�:���r	U�t:dh>h>Ըg��rY�'r'rLwV,��E:r$�:2�8�8��:d�l:r��r�:�b2������1\�d�rr:��rX�drds�D�::�W:���W:���������:��4�������K�::�K�:x��r����|�iA�B
iiA�B
�
�A�B
�fA�B
%)
A�B
NA�B
G�!+�domain_impliesi!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.rel.debug_frame.rel.debug_pubnames.rel.debug_aranges.debug_str.note.GNU-stack.comment4i!	|Ap%�!+�!0�!�B5#+>	�F�R`7}N	�Gb�9�^	�G`
s�:%o	H��: �	H��:!��:��:&;�@?�	�@��iii'�
�-�f=N
JQVY]%)
lu�fasttrig.cnotpioverfournotpiovertwonotpinotoddpiovertwofasttrig_posequalsfourpitwodomain_impliesminusoneget_complexpiover2l9lu~�9FOXz!AJSu������� nw��L�kt}����	kt}������������	*	R	[	d	�	�	�	�	
�
>��������+
�
�
�
�
q�����������i'09[����n��������+kt}���'���:qz�����HS\e���-6?Hj����
5u��� p y � � � !!!<!x��	�
q�
PT����HL��593
0
4H
L`
dx
|�
�

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