Sindbad~EG File Manager

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

ELF>4(U��WVS���E�D$�E �$�E$�D$�E(�D$����E��}�tDž�����6�E؉D$�E,�$�E0�D$�E4�D$����E��}�tDž�����
�����E��}�y$�D$�D$-�D$
�$����}�u�E��E��A�D$�E���$����E��}�u���Dž�����
�E��E��E�;E�|���U��E��D$�$������E�f�E��E��$�E��D$�E��D$�����tY�U����Ѝ��M��U����B�D�B�D�U������E��H�U������B�A�B�A�E���Xf�}�=t%f�}�<tf�}�}tf�}�|tf�}�>t	f�}�~t�,�U����Ѝ��U��E��
�E��D
�E��D
�E���E������E��D$0�ẺD$,�E��D$(�E��D$$�D$ �E�D$�E�D$�E�D$�E�D$�E��\$�E��$����E��}�t�E��$����}�tDž������}�u)�U8����B��BDž�������}�d~�Ẻ$���Dž������E�f�E��U8�E��D$�D$��$������E��E�9E�|�o�E����E���]Ѓ}�uq�E��e��E��e�����0����w�R�M8�U����Ѝ��A‹E �D$�E$�D$�E(�D$�E�D$�E�D$�E�D$�$��������E�H9E�uq�E��e��E��e�����0����w�R�M8�U����Ѝ��A‹E,�D$�E0�D$�E4�D$�E�D$�E�D$�E�D$�$������`�E��D$�E��8���@��$��������E��}�y�E���E������M�����*������)‰����)��ȅ����}�tv�u���h����M�����*������)‰ЉD$�$�������D$��D$��D$��h����D$��l����D$��p����D$�4$��������E���E���E��u�M�����*����)‰����)��ȅ���}�uI�U���D$��D$��D$��D$��D$��D$�$�������u���X�����H����U�����������*�������ы�������)��ȉD$�$�������D$��D$��D$��H����D$��L����D$��P����D$�<$�������D$��D$��D$��X����D$��\����D$��`����D$�4$������3�E��������VUUU�������ы�������)����ȋ�����)‰Ѕ���}�uI�U���D$��D$��D$��D$��D$��D$�$�������u���8�����(����E��������VUUU�������ы�������)��ȉD$�$�������D$��D$��D$��(����D$��,����D$��0����D$�<$�������D$��D$��D$��8����D$��<����D$��@����D$�4$��������E������
�}�uI�U���D$��D$��D$��D$��D$��D$�$�������]������������U���������D$�$�������D$��D$��D$������D$������D$������D$�4$�������D$��D$��D$������D$������D$�� ����D$�$��������]������������D$�$�����������E��D$�$����������D$�����D$����D$������D$������D$�����D$�4$�������D$��D$��D$�������D$�������D$������D$�$������}��u#�U��E��D$�E��D$�E��D$�$������M8�U����Ѝ��A‹E��D$�E��D$�E��D$�E�D$�E�D$�E�D$�$������o�M8�U����Ѝ��A�������E��\$�$�����������D$������D$������D$�E�D$�E�D$�E�D$�$������E������Ẻ$���f�}�uK�E8�P��������B�������B�������E8�@�$����U8��������������B�������B�E8f�8=u �E%��t�U8�E8�@
f�B�E8f�8�ud�E%��tW�E��E8�@9E�|�B�M8�U����Ѝ4��Y�M8�U����Ѝ��A�D
f�D3�E���Dž�����������e�[^_]�U��S��t�Ef�E��E։E��}�>�U�}�>�}�<���}�=t/���}�}���}�}�}�|�d��}�~tI��U����D$�B�D$�B�D$�U��D$�B�D$�B�D$�U�$�������U����D$�B�D$�B�D$�U��D$�B�D$�B�D$�M�$��������U��D$�B�D$�B�D$�U����D$�B�D$�B�D$�E�$�������U��D$�B�D$�B�D$�U����D$�B�D$�B�D$�U�$������K�U����D$�B�D$�B�D$�U��D$�B�D$�B�D$�M�$�������U����D$�B�D$�B�D$�U��D$�B�D$�B�D$�E�$�������f�}ֈt
f�}ևt���Ef�E�f�}ֈu �U��E��D$�D$��$�������U��E��D$�D$��$������E��E�9E�|�R�U���Ѝ��E��U���Ѝ��U�
�D$�D
�D$�D
�D$�$������E�룋E؋U��E܋M�A�E�U�B��f�}ցud�M��U����D$�B�D$�B�D$�$������E��D$�E��D$�E��D$�U��D$�B�D$�B�D$�M�$������qf�}�1u�U��M��B�M�A�B�U�B�L�E��D$�D$1�$������U�E��E�B�E�B�E؋M��E܋U�B�E�M�A�E�]���%:;I$>$>:;
:;I8
I!I/	I
:;(
:;

:;I
:;I
8

:;I
8
'II:;
:;I8
&I:;!I/.?:;'I@
:;I
4:;I
4:;I
4:;I?<g(Qyyy/prover/elim.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�sR__u_char"�unsigned char__u_short#�short unsigned int__u_int$s__u_long%�long unsigned int__int8_t(signed char__uint8_t)�__int16_t*7short int__uint16_t+�__int32_t,gint__uint32_t-s__int64_t2�long long int__uint64_t3�long long unsigned int__quad_t;�__u_quad_t<�__dev_t��__uid_t�s__gid_t�s__ino_t��__ino64_t��__mode_t�s__nlink_t�s__off_t�mlong int__off64_t��__pid_t�g��__val��#�g�R__fsid_t��__clock_t�m__rlim_t��__rlim64_t��__id_t�s__time_t�m__useconds_t�s__suseconds_t�m__daddr_t�g__swblk_t�m__key_t�g__clockid_t�g__timer_t�g__blksize_t�m__blkcnt_t�m__blkcnt64_t��__fsblkcnt_t��__fsblkcnt64_t��__fsfilcnt_t��__fsfilcnt64_t��__ssize_t�g__loff_t�y__qaddr_t�g	�__caddr_t�~	�char__intptr_t�g__socklen_t�s
J1_ISupper�_ISlower�_ISalpha�_ISdigit�_ISxdigit� _ISspace��_ISprint��_ISgraph��_ISblank_IScntrl_ISpunct_ISalnumunitVf��digits�lns#val�#	fbignums�signg#n�#d�#bigrat�arg#�(argtag#
t-v
i.m
d/�
b0�p*symbol&�#arity'�#info(�#args)p#	�term*(double0fracts#varadds#intexps#negexps#ratexps#rootss#pures#gcds#abss#relops#factorials#matrix s#inverse"s#functions#s#sums$s#flt%s#complex's#complexpowers*s#5+s
#mod,s#aflag0�� 	
left	v#right	v#line	g
#permanent	g#visible	g#reverse	g#oldeigen		g#defn	
+actualop
�	��gvv�~	v.	
men

s#choice
s#operation
	�	b
status
s#choice
s#used
s#inhibited
s#men
s#hashbucket
?	
inh
A
A7#k
B7#kind
D7#link
E
#	�	inhibition
F�	�
,scopes#multorders#types#dp�#locusv#k	g#realpart
�#imagpart�# name�
#(�
��varinf

dldata�#next
#	�
dlist�
� #addr�#increment�#g#functors#kg#name ~#history!�#	�	parameter#�02varlist&�#nvariables'g#maxvariables(g#eigenvariable)g#currentline*g#�+�#,g#maxparameters-g#varinfo.�# nextdefn/g#$defns0�#(maxdefns1g#,	�	�
	�vardata2��
D)factorg#g#difg#intlinearg#gcdg#zeropowerg#fractexpg#negexpg#rootproductg# 5g#$infractiong#(complex!g#,domainflag#g#0ringflag%g#4orderflag&g#8arith'#<hwnd(�#@polyflags)�Fa
prop
v#line
g#link
F#	assumption
eqnsolver
	o	u�gvv��,
$assumptions
�#maxassumptions
7#
7#theorems
�#maxtheorems
7#nexttheorem
7#history
�#permhistory
�#maxhistory
s#workspace
�#maxworkspace
�# nextworkspace
!s#$solver
#^#(	�	L	s	�proverdata
$�topicg,>line<#>=g#(�		�message>�2gr8

g#��#color1�#color2�#color3�#ncolorsg#>g#spacingPointsg#thickness1g# thickness2g#$titlebackgroundcolor�#(*�#,��#0v�#4GraphPaper ,�@�graphtype*g#numberofpoints,g#linewidth-�#graphcolor.�#�/�#fillcolor0�#border1�#�2�# v3�#$*4�#(ticks5s#,labels7s#,savezooms<s#,saveparams=s#,grid>s#,showtitles?s#,tool@s#,whichgraphBg#0Fv#4fprimeGv#@gprimeHv#LxfunctionIv#XyfunctionJv#dindependent_variableKv#pdependent_variableNv#|rvariableP~#�xvariableQ~#�yvariableR~#�tminS�#�tmaxS�#�tselectedU�#�xminV�#�xmaxV�#�yminV�#�ymaxV�#�slistW�#�dimslist[g#�jumplist\�#�dimjumplist]g#�openlist^�#�dimopen_g#�closedlist`�#�dimclosedag#�srestrictionsb�#�dimsrestrictionsdg#�jumprestrictionse�#�dimjumprestrictionsgg#�elisth�#�dimelistkg#�singularitiesl�#�nsingularitiesmg#�initial_valuesn�#�jumpsp�#�njumpsqg#�dxminr�#�dyminr�#�dxmaxs�#�dymaxs�#�pxmintg#�pxmaxtg#�pyminwg#�pymaxwg#�titlexv#�txminz�#�tyminz�#�txmaxz�#�tymaxz�#�xminsym{v#�xmaxsym{v#�yminsym{v#�ymaxsym{v#�selectedx~�#�selectedy~�#�pencil_left�#�pencil_top�#�pencil_right�#�pencil_bottom�#�whichparams��#����#�newaxes�s#�erase�s#�crosshairsflag�s#�rectangle_flag�s#�dfield�g#�dfield_applicable�s#�update�s#��s#�riemannflag�s#�root_xcoords�
#�root_ycoords�
#�nroots�g#�nintervals�v#�left��#�right��#�area��#�spot�s#�zoom_disabled�g#�tempsing�g#�grpaper�2#�zvariable�~#�independent_variable2�v#�zfunction�v#�zmin��#�zmax��#�umin��#�umax��#�vmin��#�vmax��#�rendermode�g#�camera�#�camera_rotation��#�focus�#�lamp1�#�lamp2�#�lamp1flag�g#�lamp2flag�g#�lamp1color��#�lamp2color��#�points�##��##�normals�##�npoints�g#�nindex�g#�	�
g�	g#��graph�Dcoord7`,x*2#y+2#YPAIR,?�1formula.`#reasonrect/`#comment0`#line1m"4OcxChar4g#cyChar5g#width77#height87#
top:7#left;7#right<7#bottom=7#clientRight@7#clientBottomA7#leftmarginB7#rightmarginC7#topmarginE7#bottommarginF7#reasonsH7# linesI"#$>J7#(selectedK##,selectedlineMg#0	�PapyrusO��\reasonX�#commentY�#controlflagsZ�#eigenindex[�#
	�linedata\7� �;�mathmode`s#display_onas#memoryflagbs#complex_frozencs#checksolutionsflagds#substitutionflages#logcollectflagfs#comdenomflaggs#linebreakshs#nfailedopsis#radicalflagjg#finishedflagks#assumptions_visiblels#definitions_visiblems
#expandflagng#trigexpandflagog#factorflagpg#selected_equationqg#_rg#Esg#minmax_intervaltv#pendingu�#(modelv� #,inhibitionsw� #�vsuccessivefailuresxg#�vlocalfailureszg#�vautosteps{g#�vopseq|� #�wfailedops}� #�wlinedatahistory~� #�wnlinedatas#�wplan�!#�whwnd��#�wshowstepflag�g#�w� �	��	
	.	� ��	�!.	�controldata��%l=�kind�s#problemsource�s#docnumber�g#_�g#E�g#originaltopic�g#version�g#hwnd��#papyrus�%#brotherdoc��# progresshwnd��#$magnification�g#(backgroundcolor��#,textcolor��#0highlightcolor��#4reasoncolor��#8selectioncolor��#<backgroundpattern�g#@textweight�s#Dinitialized�s#Djustsaved�s#Dproblemready�s#Dsaveas�~#HDocControlData�!#LDocPolyData��
#�xanddisplay�s#�xordisplay�s#�xfalsedisplay�s#�xbreakcol�2#�xmaxfract�2#�xheap�
%#�xheapsize�s#�xDocVarData��#�xhomework�%#�yproblemnumbers�%#�yDocProverDataǽ#�zmainchoice�g#�zactive_parameter�g#�z�v#�zgraphs� %#�zdisplay3d�m#�zviewport3d�m#�zngraphs�g#�znuserfunctions�g#�zdefns�6%#�z	(	J %g�0%0%�	%	~DOCDATA�(!PDOCDATA�[%	<%
�%	unknownminmaxdamped_oscillationdom_errorbounded_oscillationunbounded_oscillationcomplex_approachapproacha%+&tl�data�v#next�+&#prev�+&#	�%termlist��%�'eliminateg�Utv�xv�av� bv�,ans��8xmin��`xmax��Xz��Poutarray��Luv��cv��kkm��restrictions���dimrestrictions g��err!g��i!g��mm!g��"g��m#���f#����'<
signfg���
�
temp�v��}"(lnegate�v�QUt�v�n���vi�g�pans�v�Xf���Vtwo/(vfour/(six
/(false/(pi/(%>�
yyy/prover/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/bits/usr/includeyyyelim.cstddef.htypes.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hgraphstr.hdocument.hprover.hconstant.h	�#d�#d�*dr�tdV�r:Hr�)(�,'vU�Ud�d�e��d��r�H,%R)R*rdVs(�%�9����d#O_o#��r���V,dH;t��trVDDDDDDH����KsՀdr��:�
eliminateyyy/prover/elim.cnextassumption >= 0�dy���=(@-DT�!	@����|��A�B
I�����A�B
D�(k(A&eliminate�'lnegateQnparametersfunctionindexnextassumptiontitlecolorcomdenomnlinescurrenttopicunsigned intproblemtypelinenumberaxeslabelcolorparametersbackgroundaxescolorGCC: (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.comment4Q	\EP%�+�0��Bk(>	�HxR|9)N	$J^�;Hj�;Pf	,J {@<,w	LJ
�l< �	TJ��<��1=�1=&W=��A�	dD��

�+9CKZjsy������������������elim.celiminatedevalget_nextassumption__assert_failcallocatenospaceget_assumptioninterval_as_andget_singfree2falsemake_termequationnearintmake_intpiproducttwomake_fractionfoursixtnegatemake_doublelnegatenelelessthanand(`}������#FWk�����8��&0������
E N W `ir~!�� � � !"L�"�"�"����!""+"4"^!fox��#�#�#����!2:#C#L#v!~�����@	!H	Q	Z	�	�	$�	-
%k
�
�
$'h�(�)4
(x
)�
�
=&�&�*t���	�	
Ii*8�m
��8F�$�����_����s!�!z$X&\&c'�'�'�'�'�'�'K	8	<

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