Sindbad~EG File Manager

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

ELF`O4(U��]�U���(����E�����E�����E��E��E�;E�|�p�U�����Ѝ��E������tE�U���Ѝ��E���D$�E�$�E�D$�E�D$�����t
�E�$����b�E���E��E�;E�|�8�U�����Ѝ��E������t
�E�$�����E�뾃}�~�$�����U���(�E�$�E�D$�E�D$����E��D$�E����$����E��E�@�D$�E��D$�E�$�E�D$�E�D$����E���U���(f�}1uHf�}~uAf�E=f�E�E�D$�E�D$�E�D$�U��$�B�D$�B�D$����E��Vf�}1uHf�}~uAf�E=f�E
�U��D$�B�D$�B�D$�E�$�E�D$�E�D$����E���E��E���U���(f�}1u!�U��M��B�M�A�B�U�B�If�}~uD�U����D$�B�D$�B�D$�U��D$�B�D$�B�D$�M�$������f�}}uD�U��D$�B�D$�B�D$�U����D$�B�D$�B�D$�E�$������f�}<uA�U��D$�B�D$�B�D$�U����D$�B�D$�B�D$�U�$������kf�}=uA�U����D$�B�D$�B�D$�U��D$�B�D$�B�D$�M�$������#�E�D$�E�D$�E�D$�E�$������E��U��S���E��E��E���$l=�����D$l=�D$��$�����@���@��D$�$����E�}�u(�$�����$���Dž$�����
��$����$����$����$����E��D$�$������D$�E�$����EԋU���Ѓ��E��E�;E�~�E��E��D$�E��$����EЃ}�t�}�u>�D$ ��$�����$�����$���Dž$�����	�E��E�;E|�f�ẺD$�E���E��D$�E��$����E�}����E���E��D$�D$C��$����ẺD$�D$\��$����E�$����D$��$�����$�����$���Dž$���� 	�E�E�8u#�U��E��D$�E��D$�E��D$�$�������U�����EԉD$�E��$�E��D$�E��D$����U���Ѝ��Uԋ
�$�D
�D$�D
�D$����U�����Eԉ$����E�����E��E�;E|�2�U���Ѝ��Uԋ
��x����D
��|����D
�E�f��x���1u�U����x����B��|����B�E�f��x���=t7f��x���<t-f��x���}t#f��x���|tf��x���>tf��x���~t���h����U���D$�B�D$�B�D$�$�������h����$��l����D$��p����D$�����X����U�����D$�B�D$�B�D$�$�������X����$��\����D$��`����D$����`��H����U���Ѝ��Uԋ
�D$�D
�D$�D
�D$�$�������H����$��L����D$��P����D$����E�}�um�U�����Eԉ$�����H����D$�D$�$������U�����EԉD$��H����$��L����D$��P����D$����}�t$�D$q�D$��D$��$�����E���������E��E��E��E��E�;E|��E�;E�u!�E��D$���$����s�E�@�E�E�;E|�a��x����U���Ѝ��Uԋ
�D$�D
�D$�D
�D$�$�������x����$��|����D$�E��D$����E���E��E�;E�|��E�E�8u0�U���Ѝ��UЋ
�$�D
�D$�D
�D$����]��8����U���Ѝ��UЋ
�D$�D
�D$�D
�D$�$�������8����$��<����D$��@����D$����E��Q��������E܋U���Ѝ��Uԋ
�$�D
�D$�D
�D$�{����]��U���Ѝ��Uԋ
�D$�D
�D$�D
�D$�$������U���Ѝ��Uԋ
�D$�D
�D$�D
�D$�E��$�E��D$�E��D$�����uN�U���Ѝ��Uԋ
�D$�D
�D$�D
�D$�E��$�E��D$�E��D$������u�E�f�}�uA�E���E��E���$�����$���Dž$����if�}�uC�E؉E�����9E�|�����‹E����$����E����E؉$����f�}�1u"�U���E��B�E��B�E��E�E��:f�}�~uM�M��U�����D$�B�D$�B�D$�U���D$�B�D$�B�D$�$������E�E���f�}�����E��E�9E�|��U���Ѝ��U��
�E��D
�E��D
�E�f�}�1u�U���E��B�E��B�E��E�E��	�E�E��E��$�E��D$�E��D$����E���E��U�����EЉD$�E��$�E��D$�E��D$����E��E��6����E�E��E��$�E��D$�E��D$����E���E��U�����EЉD$�E��$�E��D$�E��D$����E��E܉E�����9E�|��E�E���(����E�D$�$�������(����$��,����D$��0����D$����E���E���(����E�D$�$������U�����EЉD$��(����$��,����D$��0����D$����E��E��?����E؉$����$����E��d�����$����}�u/�Eԉ$����EЉ$�����$���Dž$����5�U�E���$����Eԉ$����EЉ$���Dž$�����$����]���%:;I$>:;I$>:;
:;I8
I	'I
I&I
!I/:;
:;I8
:;
:;I
:;I8
:;(
:;&I'<!I:;:;:;I:;
:;I
8
 
:;I
8
!:;"!I/#.?:;'I@
$.:;'@
%:;I
&4:;I
'.:;'I@
(.?:;'I@
)
:;*4:;I
+,4:;I?<g7otter2/externalsimplify.c/home/beeson/Otter-LambdaGNU C 3.3.5 (Debian 1:3.3.5-13)size_t�{pwchar_tE�long int�cquota�#remb�#intdiv_tc��kquoti�#remj�#ldiv_tk�__compar_fn_t�"(	=�
=
=C__u_char"Tunsigned char__u_short#vshort unsigned int__u_int${__u_long%�long unsigned int__int8_t(�signed char__uint8_t)T__int16_t*short int__uint16_t+v__int32_t,�__uint32_t-{__int64_t2Tlong long int__uint64_t3wlong long unsigned int__quad_t;T__u_quad_t<w__dev_t�w__uid_t�{__gid_t�{__ino_t��__ino64_t�w__mode_t�{__nlink_t�{__off_t��__off64_t�T__pid_t��i�__val�i#y�
yp__fsid_t�P__clock_t��__rlim_t��__rlim64_t�w__id_t�{__time_t��__useconds_t�{__suseconds_t��__daddr_t��__swblk_t��__key_t��__clockid_t��__timer_t��__blksize_t��__blkcnt_t��__blkcnt64_t�T__fsblkcnt_t��__fsblkcnt64_t�w__fsfilcnt_t��__fsfilcnt64_t�w__ssize_t��__loff_t�0__qaddr_t��__caddr_t�5;char__intptr_t��__socklen_t�{FILE.t��._flags
	�#_IO_read_ptr
5#_IO_read_end
5#_IO_read_base
5#_IO_write_base
5#_IO_write_ptr
5#_IO_write_end
5#_IO_buf_base
5#_IO_buf_end
5# _IO_save_base
5#$_IO_backup_base
5#(_IO_save_end
5#,_markers
�#0_chain
�#4_fileno
�#8_flags2
#�#<_old_offset
%!#@_cur_column
)v#D_vtable_offset
*�#F_shortbuf
+�#G_lock
/	#H_offset
80#L__pad1
>B
#T__pad2
?B
#X_mode
A�#\_unused2
C#`__FILE>twint_tb{�S__wchQ�__wchbR�
;
y7T__countN�#__valueS�#__mbstate_tT
q__pos!#7#_G_fpos_tJ�#__pos!0#"7#_G_fpos64_t#��	&__GCONV_OK__GCONV_NOCONV__GCONV_NODB__GCONV_NOMEM__GCONV_EMPTY_INPUT__GCONV_FULL_OUTPUT__GCONV_ILLEGAL_INPUT__GCONV_INCOMPLETE_INPUT__GCONV_ILLEGAL_DESCRIPTOR__GCONV_INTERNAL_ERROR	�	8__GCONV_IS_LAST__GCONV_IGNORE_ERRORS__gconv_fctH�	�		
�


{
B
H
S
_
�
�
{__gconv_step<?__shlib_handleu�#__modnamev�
#__counterx�#__from_namez5#__to_name{5#__fct}�	#__btowc_fct~e#__init_fct�#__end_fct��# __min_needed_from��#$__max_needed_from��#(__min_needed_to��#,__max_needed_to��#0__stateful��#4��B
#8�B__gconv_step_data$@__outbuf�Y#__outbufend�Y#__flags��#__invocation_counter��#__internal_use��#__statep�#�7#__trans��# HNTYTm__gconv_btowc_fctK~�	��


T__gconv_init_fctN��	��

__gconv_end_fctO���

__gconv_trans_fctX	

	B
�


{
B

H
B
H
S
___gconv_trans_context_fct]e
k
	�
�
B

H
H
Y
Y__gconv_trans_query_fcta�
�
	�
�
�

�

_�
;�
�
__gconv_trans_init_fctd		�

�
B
__gconv_trans_end_fcteAGS
B
�__gconv_trans_dataB__trans_fctj�#__trans_context_fctkD
#__trans_end_fctl$#�mB
#__nextn�#S__gconv_loaded_object�7O__gconv_info�__nsteps�m#__steps�
#��O#^�y__gconv_t�o�,4__cd2#�3�#�,5__cd/__combined4u_G_iconv_t5�_G_int16_t7_G_int32_t8�_G_uint16_t9v_G_uint32_t:{__gnuc_va_list	+4;_IO_lock_t
��_IO_marker
�_next
��#_sbuf
��#_pos
��#Ht�__codecvt_result
�__codecvt_ok__codecvt_partial__codecvt_error__codecvt_noconv	;
y:;
y3
Ht__io_read_fn
_@	Z�
B

5
m__io_write_fn
hp	��
B

�

m__io_seek_fn
p�	��
B

�
�0__io_close_fn
s�	��
B
fpos_tXq�1_ISupper�_ISlower�_ISalpha�_ISdigit�_ISxdigit� _ISspace��_ISprint��_ISgraph��_ISblank_IScntrl_ISpunct_ISalnumunit��v
ydigit
{�
ln
{#val
�#�bignum
�
sign
�#n
�#d
�#bigrat
�arg#6jargtag#t-�i.�d/�b0��*symbol&v#arity'v#info(v#args)�#+term*jdoubleV0fract{#varadd{#intexp{#negexp{#ratexp{#roots{#pure{#gcd{#abs{#relop{#factorial{#matrix {#inverse"{# �#{#sums${#flt%{# 5'{#complexpowers*{# H+{
#mod,{#aflag0�� 
left�#right�#line�
#permanent�#visible�#reverse�#oldeigen	�#defn
cactualop
	2�
�
�
2
5�fmen
{#choice{#operation8�bstatus{#choice{#used{#inhibited{#men{#hashbucketw=inhA&A#�B#kindD#linkE=#�inhibitionF��,scope{#multorder{#type{#dp�#locus�#�	�#realpart
�#imagpart�# name�#(varinfU2dldata�#next2#dlist� #addr�#increment�#&�#functor{#��#name 5#history!�#�8parameter#E�02varlist&2#nvariables'�#maxvariables(�#eigenvariable)�#currentline*�#�+�#,�#maxparameters-�#varinfo.�# nextdefn/�#$defns0�#(maxdefns1�#,���vardata2�!D)factor�#,�#dif�#intlinear�#gcd�#zeropower�#fractexp�#negexp�#rootproduct�# H�#$infraction�#(5!�#,domainflag#�#0ringflag%�#4orderflag&�#8arith'V#<hwnd(�#@polyflags)�japrop�#line�#linkj#2assumption2eqnsolver	��	��
�
�
2�,$assumptions�#maxassumptions#nextassumption#theorems2#maxtheorems#nexttheorem#history2#permhistory�#maxhistory{#workspace�#maxworkspace�# nextworkspace!{#$solver#�#(�p{�proverdata$�topic�1,>line<1#\=�#(A�

y	message>Vgr8
&
�#Q�#color1�#color2�#color3�#ncolors�#\�#spacingPoints�#thickness1�# thickness2�#$titlebackgroundcolor�#(=�#,��#0��#4GraphPaper P!(@�graphtype*�#numberofpoints,�#linewidth-�#graphcolor.�#Q/�#fillcolor0�#border1�#�2�# �3�#$=4�#(ticks5{#,labels7{#,savezooms<{#,saveparams={#,grid>{#,showtitles?{#,tool@{#,whichgraphB�#0,F�#4fprimeG�#@gprimeH�#LxfunctionI�#XyfunctionJ�#dindependent_variableK�#pdependent_variableN�#|rvariableP5#�xvariableQ5#�yvariableR5#�tminS�#�tmaxS�#�tselectedU�#�xminV�#�xmaxV�#�yminV�#�ymaxV�#�slistW2#�dimslist[�#�jumplist\2#�dimjumplist]�#�openlist^2#�dimopen_�#�closedlist`2#�dimcloseda�#�srestrictionsb2#�dimsrestrictionsd�#�jumprestrictionse2#�dimjumprestrictionsg�#�elisth2#�dimelistk�#�singularitiesl�#�nsingularitiesm�#�initial_valuesn(#�jumpsp�#�njumpsq�#�dxminr�#�dyminr�#�dxmaxs�#�dymaxs�#�pxmint�#�pxmaxt�#�pyminw�#�pymaxw�#�titlex�#�txminz�#�tyminz�#�txmaxz�#�tymaxz�#�xminsym{�#�xmaxsym{�#�yminsym{�#�ymaxsym{�#�selectedx~�#�selectedy~�#�pencil_left�#�pencil_top�#�pencil_right�#�pencil_bottom�#�whichparams�!(#����#�newaxes�{#�erase�{#�crosshairsflag�{#�rectangle_flag�{#�dfield��#�dfield_applicable�{#�update�{#� �{#�riemannflag�{#�root_xcoords�1(#�root_ycoords�1(#�nroots��#�nintervals��#�left��#�right��#�area��#�spot�{#�zoom_disabled��#�tempsing��#�grpaper�V#�zvariable�5#�independent_variable2��#�zfunction��#�zmin��#�zmax��#�umin��#�umax��#�vmin��#�vmax��#�rendermode��#�camera�7(#�camera_rotation��#�focus�7(#�lamp1�7(#�lamp2�7(#�lamp1flag��#�lamp2flag��#�lamp1color��#�lamp2color��#�points�B
#�&�B
#�normals�B
#�npoints��#�nindex��#��1(�
y�G(�
ygraph�hcoord�(,x*T(#y+T(#YPAIR,a(�(1formula.�(#reasonrect/�(#comment0�(#line1�(D*4OcxChar4�#cyChar5�#width7#height8#
top:#left;#right<#bottom=#clientRight@#clientBottomA#leftmarginB#rightmarginC#topmarginE#bottommarginF#reasonsH# linesID*#$\J#(selectedKB
#,selectedlineM�#0�(PapyrusO�(�*\reasonXY#commentYY#controlflagsZT#eigenindex[v#
linedata\Y*!�-�;�mathmode`{#display_ona{#memoryflagb{#complex_frozenc{#checksolutionsflagd{#substitutionflage{#logcollectflagf{#comdenomflagg{#linebreaksh{#nfailedopsi{#radicalflagj�#finishedflagk{#assumptions_visiblel{#definitions_visiblem{
#expandflagn�#trigexpandflago�#factorflagp�#selected_equationq�#}r�#cs�#minmax_intervalt�#pendingu�#(modelv�-#,inhibitionsw�-#�vsuccessivefailuresx�#�vlocalfailuresz�#�vautosteps{�#�vopseq|.#�wfailedops}.#�wlinedatahistory~.#�wnlinedata{#�wplan�!.#�whwnd��#�wshowstepflag��#�w�-�"y�Cf.�
y�*1.f
ycontroldata��*!2l=�kind�{#problemsource�{#docnumber��#}��#c��#originaltopic��#version��#hwnd��#papyrus�2#brotherdoc��# progresshwnd��#$magnification��#(backgroundcolor��#,textcolor��#0highlightcolor��#4reasoncolor��#8selectioncolor��#<backgroundpattern��#@textweight�{#Dinitialized�{#Djustsaved�{#Dproblemready�{#Dsaveas�5#HDocControlData�1.#LDocPolyData�!#�xanddisplay�{#�xordisplay�{#�xfalsedisplay�{#�xbreakcol�T(#�xmaxfract�T(#�xheap�!2#�x�{#�xDocVarData��#�xhomework�'2#�yproblemnumbers�'2#�yDocProverData��#�zmainchoice��#�zactive_parameter��#�z,Ӹ#�zgraphs�72#�zdisplay3dג#�zviewport3dؒ#�zngraphs��#�znuserfunctions��#�zdefns�M2#�zJ*�72�
yG2G2
yG(5DOCDATA�D.PDOCDATA�r2S2
3 separator�#decimalchar�#unwritten_mult	�#5
�#long_identifiers�#letflag�#�
3#3;
yparser_controlx2�3	unknownminmaxdamped_oscillationdom_errorbounded_oscillationunbounded_oscillationcomplex_approachapproach33�3tl�data��#next��3#prev��3#�3termlist��3#GetDocData0b2
U$�4select_eigenvariable;
U%t4��&varlist;2�|&varinfo<��x&i=��t&n>��p'�4term_stringS5nU%tR��&mS��|&ansT5�x''5almost_equals]�nU%aY��%bY��'S5negationk��U%tj��(7ExternalSimplify���U%nlitsz��%atomszM2�%signsz5�%nNewLits{1(�%NewAtoms{M2�%NewSigns{5�)out+�&i���t&j���p&err���l&k���h&flag���d&r���`&next_assumption���\&save_domain_assumptions���X&input�2�T&output�2�P&rest�5�L&t����&q����&outputsize����&max_outup����*����+��&qƸ��~_IO_jump_t_IO_FILE_plus,stdout��,stderr��&pProofData.b2���
otter2/usr/lib/gcc-lib/i486-linux/3.3.5/include/usr/include/usr/include/bitsyyyexternalsimplify.cstddef.hstdlib.htypes.hstdio.hwchar.h_G_config.hgconv.hstdarg.hlibio.hctype.hheap.hbignum.hterms.harith.hdefns.hmodel.hvaux.hpolyval.hproverdl.hglobals.hgraphstr.hdocument.hparser.hprover.h/9V
+c����\�(x�$�(xd�.c��(:1cԸ5Ը5rZcr�rDrDrArA#q��r����rd���Ƹ��VV�dV�H���<)�)�����#,.pc�:-��AJO`fdVdo$��rr=�rHW�Zs:�0]��.8�rs�d����s,ps�Wr:�r?ոH'r:��+,vU��+,VX�LMzU�������d��ƹ�ƪ��init_doc_data failedOut of memory in ExternalSimplify
Parser error parsing %s
Unparsed part is %s
ExternalSimplifyotter2/externalsimplify.c0
Simplification failed:  too many literals
0=0����|�
A�B

�A�B
hA�B
n�A�B
~A�B
�|A�B
G�2k74GetDocDataS5ExternalSimplify__stateheapsize_IO_FILEnparametersindexfunctioncomplextitlecolorcomdenombackgroundnlinescurrenttopicunsigned intproblemtypelinenumberaxeslabelcolorparametersfunctions__dataaxescolorGCC: (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	xY�%L+L0LKB�k7>	](RI�N	(_^�K� j�L�f	0_`{XM6w	�_
��M �	�_��M��wN�wN&�N��R0	(WN�
�4h@n�N~

W
bnz�������������|��� 6M]dks������������
!4Cexternalsimplify.cpProofDataselect_eigenvariableterm_stringalmost_equalsnegationGetDocDataget_varlistget_varinfoget_nvariablescontainsset_eigenvariablempsizecallocmpstringequalsequationlessthanlenenotExternalSimplifymallocmemsetinit_doc_dataprintffreeactivateset_polyvalfactorflagset_polyvalfactorflag2set_problemtypegensymstderrfprintfrelease_doc_datamparseParserErrorMessagepermcopyvauxset_valuepointersdomaincheckpermfreemake_term__assert_failget_nextassumptionstdoutassumelptget_assumptionsset_nextassumptionget_assumptionreset_heap!���!:e�	��! i!�"�$���%���&
!'&.(BJ)V*b+n,�-���
�.�/��0	(R1{
�.�/�
�.�/�2�.�/��0��(C3q4�5]6�7�6�7	6.7N8l9�3�
�
�
�:�;	
	<'	/�	=�	=J
=Y
;�
>h
|�0��(�;�?�8�@V5
3�
3�
;�
A)Aa3|@�B��0�(�(��(��(�(�(|zyc�m"�A� �4�q�R`	��#\j�,:H��	��$@%�'*�,�,�.�.�0�1�2�2'4+4N4R4�4�455<5@5q5u5�5�6�67f7�04HL`dx|��

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