Sindbad~EG File Manager

Current Path : /usr/home/beeson/MathXpert/bin/prover/
Upload File :
Current File : /usr/home/beeson/MathXpert/bin/prover/elim.o

ELF	>C@@UH��AUATSH���H��I��H��H��L��H��@���H��H���H��0���H��8���L�� ���L��(���H�U�H�� ���H��(���H��H����Eȃ}�t
��`
H�U�H�MH�EH��H����Eȃ}�t
��6
�E��M�f/�v�E��E��E��E��E��E����E��}�y��;����}�uH�E��E��*�E��H��H���H�E�H�}�u���	�E��E����EЉ��H�E�H�U��E�f�E�H�U�H�E�H��H�����tWH�E��U�Hc�H��H��H�U�H�H�PH�H�H�QH�E��U�Hc�H��H��H��H�U�H�H�PH�@H�H�Q�E��Qf�}�=t#f�}�<tf�}�}tf�}�|tf�}�>tf�}�~u'�E�H�H��H��H�E�H�H�E�H�U�H�H�Q�E��E��E�;E������E�H�E�D�M�L�E�H��@���H��0���H��8���H��d���QH�M�Q�f(�fHn��H���E�H�}�tH�E�H����}�t
��,��d�����u#H�M H�H�H�H�Q����d�����d~H�E�H��������d���f�E��E��ƿ��H�M H�H�Q�E��H�E��U�Hc�H��H���E��}����M��E��\��M��U��\��^��~
fT��f/�vIH�E H�@�U�Hc�H��H�H�� ���H��(���H��0���H��8���H��H���H�H�S���E���9E�u}�M��E��\��M��U��\��^��~
fT��f/�vCH�E H�@�U�Hc�H��H�H�EH�UH��0���H��8���H��H���H�H�S�g�M���Y��
�^�fH~�H��h���H��fHn�������E�H��h���H��yH��h���H��H��h����E����H��h���H��������*H��H��H�H��H��?H)�H��H�H�H��H)�H��H����H��h���H��tjH��h���H��������*H��H��H��H�H��?H��H)�H���H�
H�H��H��H��H��H��H��H���H��p���H��x����H�H�H��p���H��x����oH��h���H��������*H��H��H��H��?H)�H��H�H�H�H)�H��H����H��h���H��u:H�H�H�=H�5H��H���H��p���H��x�����H��h���H��������*H��H��H��H��?H��H��H)�H���H�
H�H��H��H��H��H��H��H���H�
H�H��H��H��H��H��H��H���H��p���H��x����ZH��h���H�VUUUUUUUH��H��H��H��?H)�H��H�H�H)�H��H����H��h���H��u:H�H�H�=H�5H��H���H��p���H��x�����H��h���H�VUUUUUUUH��H��H��H��?H��H��H)�H���H�
H�H��H��H��H��H��H��H���H�
H�H��H��H��H��H��H��H���H��p���H��x����HH��h�����H����H��h���H��u:H�H�H�=H�5H��H���H��p���H��x�����H��h���H��H��?H�H�H���H�
H�H��H��H��H��H��H��H���H�
H�H��H��H��H��H��H��H���H��p���H��x����r��I��I��H��h���H���H��H��H��H��L��L��H��H���H�
H�H��H��H��H��H��H��H���H��p���H��x����}�u'H��p���H��x���H��H���H��p���H��x���H�E H�@�U�Hc�H��H�H��p���H��x���H��0���H��8���H��H���H�H�S�DH�E�fHn��H�M H�I�u�Hc�H��H�1H��0���H��8���H��H���H�H�S�E��E�9E��X���H�E�H���f�}�uFH�E H�@H�PH�H��P���H��X���H�E H�@H���H�M H��P���H��X���H�H�QH�E �f��=u(��D�����%��tH�E �@����H�E f�PH�E �f=�ue��D�����%��tR�E��9H�E H�@�U�Hc�H��H��PH�E H�@�M�Hc�H��HȀ�f�P�E�H�E �@��9E�|��H�e�[A\A]]�UH��SH��8H��H��H��H�E�H�U��E�f�E��E�~tw��~�@��}����}�.��|����|���>����>�
��<t]��=��H�E�H��H�M�H�PH�H�9H�qH��H����H�E�H��H�M�H�PH�H�9H�qH��H�����H�E�H�U�H�JH�PH�H�9H�qH��H����H�E�H�U�H�JH�PH�H�9H�qH��H����H�E�H��H�M�H�PH�H�9H�qH��H����_H�E�H��H�M�H�PH�H�9H�qH��H����5f�}�tf�}����E�f�E�f�}�u�E�ƿ��H�E�H�U���E�ƿ��H�E�H�U��E��@H�EȋU�Hc�H��H�H�U؋M�Hc�H��H�
H�H�@H��H���H�H�S�E��E�9E�|�H�E�H�U��f�}�u2H�E�H��H�H�@H��H���H�M�H�9H�qH��H����Ff�}�1u
H�E�H�PH��2��1�H�E�H�U�H�M�H�E�H�U�H�H�QH�E�H�U�H�]���UH��AWAVAUATSH��H��I��H��H��L��H��@���H��H���H��0���H��8���L�� ���L��(���H��H���H��H�U�H�H�@H��H����Ẽ}�~#H�M H�H�H�H�Q��qH�E�H�PH�H�E�H�U�H�E�H�����@���f��=��H��H���H��0���H��8���H�9H�qH��H�����ts��0�����H��H���H��H�H�@H��H�����uH��0�����H�� ���H��(���H��H�����u!��0�����H�MH�EH��H�����t#H�M H�H�H�H�Q��H�� ���H��(���H��H������4H��H���H�PH�@H��p���H��x���H�H�H�}�H�u�H��H���H��p���H��x���H�M�H�]�I��I��M��I��H��H��`���PI��I��H��H��L��L���H��H��`���H��h���H�}H�uH��H���I��I��H�EH�UH�� ���H��(���H��H���I��I��H�� ���H��(���H��p���H��x���H��H���H��H��H��H��M��M��L��L��H��H���H�M H�H�Q��+H��H���H��H�PH�H�� ���H��(���H��H���H�u�H�M�H�]�I��I��L��H��I��H��H��H����Eȃ}�t#H�M H�H�H�H�Q��H�E�H��H��X���H�H�@H��H���H��X���fHn��fH~�H��X���H��X���H��P���H��fHn��H��P���H���H��p���H��x���H��P���H��H���H��`���H��h���H��H���H��H�H�XH�E�H�U�H��p���H��x���H��L�E�API��I��H��H���H��H��H���H��H�H�XH�E�H�U�H��`���H��h���H��L�E�API��I��H��H���H��H�E�H�U�H�}H�uH��H���I��I��H�EH�UH�}�H�u�H��H���H��H��H��H��L��L��H��H���H��H��H��H��H��H��H��H���H�M H�H�Q�H�e�[A\A]A^A_]�nextassumption >= 0prover/elim.celiminate��������dy���=(@-DT�!	@
�int����Q�lnQval���arg&�/	t0V	i1X	d2
f	b3
�(Q
)C
*C
+C
,Q�-VVf
oneb
twobb
six
bbbllpt	IV�Vf�fJ�VVg
VVVVJCVVVgsumV]VV
JsVJ�VCJ�VVJ�V�gandV�VV'V�VVle)VVVne+V0VV	VFfV\VVwVVV�VVV�X
J�f�X%V�VVV�CC
�JNffVgJgJ�NJ	!JiV)VJ
	
��_QM���J�'<
J�Vl�J��t�V��~x�V��~a� V��~b�(V�ans�1g��
g��n�	V���V��lo�V��hi�V��~K�V��~J�V��~err�J��z�f��~k�	X��~�J���V��Gt�V��n�C�Xi�J�\ans�V�@f�C�ZJ�
��tV��~xV��~a$V��~b,V�ans5g�$
f��$f��z$f��%l��u&V��~c&
V��~kk'X��~(	g�H)J�Derr*J��i*J�@mm*
J��~+J��m,C��f,C��	�4f����sJ��F�
V��~ �!_	�I.?:;9'I<4:!;9I$>4:!;9I:!;9I!I.?:;9!'I<	
:!;9I

:!;9I8&I:;9I
4:!;9!I?<4:!;9!I?<.?:!;9'I@|7I!:;9!	
:!;9I8%$>:;9I:;9.?:;9'I<.?:;9'<.?:;9'<.?:;9'�<.?:;9'I<4I4 I!!I/,�w�
	#		I�
g	��
g��g
���XKf�g�"�X
1
uY�
utY!�.2KJ0<4�J2t"�htttttu0<�"vJJ	�Mu�
g�f
L�	�fY��f
K�tY
��&� �J��It!X-�'�J��C%�utY�uv7�%t'fj�3�8tf:/(;0�8tf:/(;��7tf:�(8���6g
'F�_6J#��u
�K
��tf�KKtf�
Kt/5J�
[Y���V�J$��J�J�$�J���J$��J��
����
ut/<J��"�
� 
J /
u	�g
/�fM��g��J��t$�t�EJ3t<<3�0 KtQ�,K!tXL����t
Y�I'''.�
��,g�
���Xu����<�<���(Yxmaxflooreliminatevariablesinsubstget_assumptiontempshort intbignumpi_termrestrictionsxminsolvedlong doublecontainsget_nextassumptionssolveargtagcallocatemake_intfloatlong long intinfocharlong intGNU C17 13.2.0 -mtune=generic -march=x86-64 -gunsigned charnospacedimrestrictionsatomlisttermtnegatelessthannextassumptionsigned char__assertunsigned intargsoutarrayfalsetermseminumericalelim2__func__lnegateshort unsigned intmake_fractionmake_doubleequalsproductlong unsigned intsigndoublemake_terminterval_as_andnearintfree2nvarsequationdigitaritysymbolget_singfourdevaland3/home/beeson/MathXpertprover/elim.c/home/beeson/MathXpertprover./usr/includeelim.celim.cbignum.hterms.hconstant.hmath.hssolve.hmaketerm.hspeed.hprover.hdeval.hsing.hproverdl.hheap.hassert.hGCC: (FreeBSD Ports Collection) 13.2.0zRx�$�
A�C
L����
 D�A�C
E��(hA�C
P������(

�
#6?IQ`py��������������
�.��l��
-15;@GMelim.c__func__.0eliminatedevalget_nextassumption__assertcallocatenospaceget_assumptioninterval_as_andget_singfree2falsetermmake_termequationnearintmake_intpi_termproducttwomake_fractionfoursixtnegatemake_doublelnegatelessthanelim2variablesinequalscontainsseminumericalonesumsubstand3ssolvefloorlptb���������������������������
�
�
(�
��������#��������3��������Z��������}����������������������������������������������������t<�L���������<LL��������eTq\���������=��������D��������Ke�������������������������������������	��������K��������R��������Ys��������z���������������������������	����������������]��������d��������k��������������������������������������������������������6��������=��������D^��������e��������l�������������������������������������������������������'	��������r	���������	 ���������	���������	��������
��������}"������������������#���������$��������%#��������O$���������������������������!��������+
!��������A
%��������f
���������
'����������������H���������(���������)���������)���������)����������������	3*��������_+��������f+y,���������-���������$��������
#��������7$��������Z.������������������/��������������������������!0��������H��������W��������x���������-��������-��������/#��������P#��������m%���������1��������


�
	
	*
1
`8
?
;F
�T
u[
�b
�i
p
�w
�~
m�
��
P�
E�
�!
\-
V9
�E
�W
;�
l�
��
L�
�
��
w
!^
�t
y�
��
�
H1
�G
@]
�x
��
��
3�
G�
�
;
cT
#j
'�
�
��
l�
��
q�
���
M
2i
f�
A�
���
H
R�
a�
�
�
T
"Q
Qz
��(���
6���

��	�
6
"
	%&
	<*
	C.
	E8
	R=
	YB
	`G
	iL
	qQ
	|V
	�[
	�`
	�e
	�j
	�o
	�t
	�y
	�~
	�� H�
l�
.symtab.strtab.shstrtab.rela.text.data.bss.rodata.rela.debug_info.debug_abbrev.rela.debug_aranges.rela.debug_line.debug_str.debug_line_str.comment.note.GNU-stack.rela.eh_frame @�@�,�&�,�1�h>X9@�8PJf]v0X@�?0	q�l@ @�}0�"|�0:%��0&(�4&�8&��@BH�&�
	x+QHB�

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