Sindbad~EG File Manager

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

ELF	>�}@@UH��H�ĀH��I��H��H��L��H�u�H�}�H�U�H�M�L�E��E�f��t�E�f��u�E�f��u
���E�f�E��E�f�E�f�}�"�>f�}�^��H�E�H���f��/��H�E�H��H�@�f����H�E�H��H�@�@f����H�E�H��H�@�@������tH�E�H��H�@�@�������_H�E�H��H�@H���f���CH�E�H��H�@H���@f���%H�E�H��H�@H���@������t#H�E�H��H�@H���@��������H�E�H��H�@H�HH�H�H�9H�qH��H��������E���H�E�H�H�@H��H�������H�E�H�PH�H�E�H�U�H�H�H�E�H�U�H�E��f��@u]H�M�H�E�H�U�H�}�H�u�I��H��H����E�}�t
��5H�U�H�E�H��H���H�M�H�H�Q��
H�E�H�PH�H�}�H�u�H��H�����t
���H�E��f=�u
���H�U�H�E�H��H���H�M�H�IH�9H�qH��H���H�M�H��H��H��H��H��H����E�f��uV�E�f��uL�E�������uH�E�H�H��t(�E�������u#H�Eȋ��uH�E�H�@���u
��#��f�}��u)�E���H�E�H��H�H�@H��H�������f�}�^�H�E�H���f��/��H�E�H��H�@�f����H�E�H��H�@�@f����H�E�H��H�@�@������tH�E�H��H�@�@��������H�E�H��H�@H���f���iH�E�H��H�@H���@f���KH�E�H��H�@H���@������t#H�E�H��H�@H���@�������
H�E�H��H�@H���@��������H�E�H��H�@H���f����H�E�H��H�@H���@f�����E���H�E�H�H�@H��H�������f�}��uH�E�H�PH�@H�E�H�U��H�E�H�PH�H�E�H�U��E�f��^ubH�E�H���f��uRH�E�H���@f��u@H�E�H���@������tH�E�H���@������uH�E�H�PH�H�E�H�U�f�}��uH�E�H�PH�H�E�H�U��H�E�H��H�@H�PH�@H�E�H�U�H�E��f��@��H�M�H�E�H�U�H�}�H�u�I��H��H����E�}�t
��EH�H�H�}�H�u�H��H�����t H�U�H�E�H��H���H�M�H�H�Q�&H�E�H�U�H�}�H�u�H��H���H�M�H�H�Q���H�E�H�PH�H�}�H�u�H��H�����t
��H�E��f��"u
��H�U�H�E�H��H���H�M�H�IH��H�9H�qH��H���H�M�H��H��H��H��H��H����E�f��uV�E�f��uL�E�������uH�E�H�H��t(�E�������u#H�Eȋ��uH�E�H�@���u
������f�}�^uS�E���H�E�H��H�H�@H��H�����t
��H�M�L�E�H�E�H�U�H�9H�qH��H�������~f�}�+tf�}�-tf�}�*tf�}�/t��[�E��DH�E��U�Hc�H��H�L�E�H�E�H�U�H�9H�qH��H������E�}�t���E��E�9E�|����UH��H��0H��I��H��H��L��H�u�H�}�H�U�H�M��E�f��t�E�f��u�E�f��u
����E�f�E�f�}�"tFf�}�^u7H�E�H���f��/t.H�E�H���f��-uH�E�H��H�@�f��/tf�}��u�E���H�M�H�E�H��H����Z�E�f�E��E��;H�E�U�Hc�H��H�H�E�H�U�H�9H�qH��H��������t���E��E�9E�|����UH��AUATSH��H��I��H��H��L��H�����H�����H���H������L����L����fDž0���@fDž2���H��0���H���H������H�����H�����I��H��H������Eԃ}�t��0���f��"t
��&�}��H��8���H���H������H�9H�qH��H�����u
��}&��E���E�H�����H������H��H���H������H������������f��@u
��*&H������H������H��H���H�����H�����H��0���H��8���H������H������H��L�E�API��I��H��H���H��H�U�H�M�H�E�H��H���H��8���H�PH�H������H������H��H���H��p���H���H������I��I��L��H��I��H��H��H����Eԃ}�t�Ẻ���EЉ����1%��p���f��=uVH��x���H�PH�H���H������H��H�����t+�����H��x���H��H�H�@H��H�����t
���$H�H�H������H������H��H���H��p���H��x���H������H������I��I��M��I��H��H��`���PI��I��H��H��L��L���H�������H�M�H�E�H��H�����uzH������H������H�}�H�u�H��H�����tUH����H�E�H�U�H�H�QH����H������H������H�H�QH�MH��`���H��h���H�H�Q��#H�M�H�]�H���H������H��`���H��h���H��L��P���API��I��H��H���H��H��@���H��P���H��X���H��H���L����L�����H������H������H��@���H��H���H��H������QH��H���H���Eԃ}�u�EЉ���Ẻ�����"H��8���H�PH�H������H������H��H���H��p���H���H������I��I��L��H��I��H��H��H����Eȃ}�t�EЉ���Ẻ����a"H�H�H������H������H��H���H��p���H��x���H������H������I��I��M��I��H��H������PI��I��H��H��L��L���H��������f��=u+H�����H������H������H�9H�qH��H�����u������H�����H�pH������H������H������H������H�>H�vH���uI��I��H��H���H��H�����H�pH�����H�����H������H������H�>H�vH��L���API��I��H��H���H��H����H���H������H��H�����EċEčP��Eă��։���Eă�����Ẻ���E�� ��0���f��@u
�� ��0���f��"u.H��8���H�PH�H�E�H�U�H�H�H�E�H�U��-H��8���H�PH�@H�E�H�U�H��8���H�PH�H�E�H�U�H���H������H�}�H�u�H��H���������E�H�����H������H��H���H����H�H�QH�����f��@u
��H����H�H�@H��H���H�E�H�U�H����H�9H�qH��H���H�uH���H������I��I��L��H��I��H��H��H����Eԃ}�t�EЉ����(H�EH�@H�XH�E�H�U�H����H�9H�qH��H���H�3H�{H����H�YH�	I��I��M��I��H��H��p���PI��I��H��H��L��L���H��H��p���H��x���H���H������H��H���H�MH�H�QH�����H�����H��0���H��8���H����H�>H�vH��L�E�API��I��H��H���H��H�M�H�]�H���H������H��p���H��x���H��L�E�API��I��H��H���H��H����H�M�H�E�H��H��������H����H�H�@H��H�����t
��H���H������H����H�9H�qH��H��������t
��u��kH����H���H������H�}�H�u�I��H��H����Eԃ}��.����f���H����H�P(H�@ H������H������H����H�PH�@H������H������H����H�PH�H��p���H��x���������f����������f����������������uH������H�H��t9��������������H�����������H������H�@���ut��p���f��uh��r���f��u[��t���������uH��x���H�H��t1��t���������u)H��x������uH��x���H�@���u
���H������H������H��H�����t�E���H������H������H��H�����t�E�����H������H������H�=H�5H��H���H��H��H��H��H��H��H��H�����u	�E��[H�H�H������H������H��H���H��H��H��H��H��H��H��H�����u	�E�����
����}�uuH������H������H��H���H������H������H������H������H��H���H������H������H��p���H��x���H��H���H��p���H��x���H��`���H������H������H��H����Eԃ}�t'H������H������H��H���H��`���H��h���������f��uf������f��uY������������uH������H�H���Z������������u#H���������uH������H�@����%H��`���H��h���H�=H�5H��H���H������H������H��H���H�� ���H��H��H��H��H��H���H������H������H�=H�5H��H���I��I��H�H�H������H������H��H���H��H��H��H��L��L��H��H���H��H��H��H��H��H��H��H���H��p���H��x���H��H���H�����H��H��H��H��H��H����8H��p���H��x���H�����H�����H�H�H�� ���H��(��������f���>�����f���-�����������uH�����H�H��t=�������������H����������H�����H�@������}�u
��H�����H������H��H���H����H�H�QH�����f��@u
��rH����H�H�@H��H���H����H�PH�H�� ���H��(���H�����H�����H��0���H��8���H�� ���H��(���H��L���API��I��H��H���H���� ���f������"���f������$���������uH��(���H�H��t1��$���������uVH��(������uHH��(���H�@���u7H��`���H��h���H����H�9H�qH��H���H�����H������hH�� ���H��(���H��H���H����H�9H�qH��H���H��`���H��h���H��H��H��H��H��H��H���H�����H�����H�����H�����H���H������H��H���H�MH�H�Q�����H���H������H��H�����teH���H������H���H������H�����H�����H��L�E�API��I��H��H���H��H����H�M�H�E�H��H���� H����H���H������H��H������}�u3H�����H�����H��H�����u
����E�����%H�����H�����H��H�����t�E��H�����H�����H��H�����t3�E����H�����H�����H��H���H�����H������H�����H�����H�=H�5H��H���H��H��H��H��H��H��H��H�����u	�E��[H�H�H�����H�����H��H���H��H��H��H��H��H��H��H�����u	�E�����
���}����}��}H�����H������H��H���H����H�H�QH�����f��@u
��@H����H�H�@H��H���H������H������H�����H�����H��H���H��@���H��H��H��H��H��H���H��P���H��@���H��H���H��H����Eԃ}�t'H��@���H��H���H��H���H��P���H��X���H�H�H����H�9H�qH��H���H��H��H��H��H��H��H��H���H�=H�5H��H���I��I��H����H�H�XH��P���H��X���H�=H�5I��I��H��H���H��H��H��H��L��L��H��H���H�E�H�U�������f���@������f���/������������uH������H�H��t=��������������H�����������H������H�@�����H�����H�M�H�E�H��H���H�����H�����H��H���H�����H��H��H��H��H��H���H�����H�����H���H������H��H���I��I��H�����H�����H���H������H��H���H��H��H��H��L��L��H��H���H�MH�H�Q�H��`���H��h���H�� ���H��(���H��H���H��H��H��H��H��H��H��H���H�}�H�u�H��H���H�����H��H��H��H��H��H���H��`���H��h���H�� ���H��(���H��H���H��H��H��H��H��H��H��H���I��I��H�U�H�E�H��H���H��H��H��H��L��L��H��H���H�����H��H��H��H��H��H���H�����H�����H���H������H��H���I��I��H�����H�����H���H������H��H���H��H��H��H��L��L��H��H���H�MH�H�QH��0���H�����H�����H��H����Eԃ}�t'H�����H�����H��H���H��0���H��8���H�H�H����H�9H�qH��H���H��H��H��H��H��H��H��H���H�=H�5H��H���I��I��H�H�H����H�9H�qH��H���H�
H�H��H��H��H��H��H��H���H��0���H��8���H��H���H��H��H��H��L��L��H��H���H�� ���H��(���H�����H�����H��0���H��8���H�� ���H��(���H��L���API��I��H��H���H��H����H���H������H��H��������H����H�H�@H��H�����t
��
��	
�}����}��}H�����H������H��H���H����H�H�QH�����f��@u
��H����H�H�@H��H���H������H������H�����H�����H��H���H��@���H��H��H��H��H��H���H��P���H��@���H��H���H��H����Eԃ}�t'H��@���H��H���H��H���H��P���H��X���H�H�H����H�9H�qH��H���H��H��H��H��H��H��H��H���H�=H�5H��H���I��I��H�H�H����H�9H�qH��H���H�
H�H��H��H��H��H��H��H���H��P���H��X���H��H���H��H��H��H��L��L��H��H���H�E�H�U�������f���@������f���/������������uH������H�H��t=��������������H�����������H������H�@�����H�����H�M�H�E�H��H���H�����H�����H��H���H�����H��H��H��H��H��H���H�����H�����H���H������H��H���I��I��H�����H�����H���H������H��H���H��H��H��H��L��L��H��H���H�MH�H�Q�H��`���H��h���H�� ���H��(���H��H���H��H��H��H��H��H��H��H���H�}�H�u�H��H���H�����H��H��H��H��H��H���H��`���H��h���H�� ���H��(���H��H���H��H��H��H��H��H��H��H���I��I��H�U�H�E�H��H���H��H��H��H��L��L��H��H���H�����H��H��H��H��H��H���H�����H�����H���H������H��H���I��I��H�����H�����H���H������H��H���H��H��H��H��L��L��H��H���H�MH�H�QH��0���H�����H�����H��H����Eԃ}�t'H�����H�����H��H���H��0���H��8���H�H�H����H�9H�qH��H���H��H��H��H��H��H��H��H���H�=H�5H��H���I��I��H����H�H�XH��0���H��8���H�=H�5I��I��H��H���H��H��H��H��L��L��H��H���H�� ���H��(���H�����H�����H��0���H��8���H�� ���H��(���H��L���API��I��H��H���H��H����H���H������H��H��������H����H�H�@H��H�����t
����x�}��iH�����H������H��H���H����H�H�QH�����f��@u
��(H����H�H�@H��H���H������H������H�����H�����H��H���H��@���H��H��H��H��H��H���H��P���H��@���H��H���H��H����Eԃ}�t'H��@���H��H���H��H���H��P���H��X���H�H�H����H�9H�qH��H���H�
H�H��H��H��H��H��H��H���I��I��H����H�H�XH��P���H��X���H�=H�5I��I��H��H���H��H��H��H��L��L��H��H���H�E�H�U�������f���@������f���/������������uH������H�H��t=��������������H�����������H������H�@�����H�����H�M�H�E�H��H���H�����H�����H��H���H�����H��H��H��H��H��H���H�����H�����H���H������H��H���I��I��H�����H�����H���H������H��H���H��H��H��H��L��L��H��H���H�MH�H�Q�H��`���H��h���H�� ���H��(���H��H���H��H��H��H��H��H��H��H���H�}�H�u�H��H���H�����H��H��H��H��H��H���H��`���H��h���H�� ���H��(���H��H���H��H��H��H��H��H��H��H���I��I��H�U�H�E�H��H���H��H��H��H��L��L��H��H���H�����H��H��H��H��H��H���H�����H�����H���H������H��H���I��I��H�����H�����H���H������H��H���H��H��H��H��L��L��H��H���H�MH�H�QH��0���H�����H�����H��H����Eԃ}�t'H�����H�����H��H���H��0���H��8���H�H�H����H�9H�qH��H���H�
H�H��H��H��H��H��H��H���I��I��H�H�H����H�9H�qH��H���H��H��H��H��H��H��H��H���H�=H�5H��H���H��0���H��8���H��H���H��H��H��H��L��L��H��H���H�� ���H��(���H�����H�����H��0���H��8���H�� ���H��(���H��L���API��I��H��H���H��H����H���H������H��H��������H����H�H�@H��H�����t�����H�e�[A\A]]�uvpqrstxyz0prover/redrat.creduce_to_rational��0int
�����	Q�lnQval��	�arg&�/
t0[
i1X
d2
f
b3
�(V)C*C+C,V�	-
[[oneggtwogg	[or[�[[
�[l[�[[[[[[[)[[JD[lJZ['[u[[	6J�[	5J�[S�JJM���J�J�[[
J[[[l[3[[HDJRUJ
Ju[[l%[�[[J�[[[l<J�[=[�[�EJGJJ[[[0[[*JK[lsum[d[[
[z[[�[J�[[��
J�[C
J�[[�Js'�lt�[��{x�%[��{ans�.l��{u�9l��{�Bl�err�J�D�J���J���J�@�J���[���
[��v�[���[��~q�[��~r�[��~z�[��~zz�![��~def�$[��~�([��~�-[��~�5[��}�?[��}�J�L�J�Hp����}|	��[��}�[��}w�[��}�[��} a
[��}b[��|c[��|[��|[��|$[��|+[��|1[��|9[��|!�|"_
l#�J��t�"[�Px�*[�@n�C�hf�C�ji�J�l$2Jq�t2[��x2"[��def2*l��~iBJ�lerrB	J�dnCC�hfCC�jD[�PuD[�@D[��pE���I.?:;9'I<4:!;9I4:!;9I$>:!;9I!I4:!;!�9I	:;9I

:!;9I
:!;9I8.?:;9!'<
&I4:!;!�9I7I!:;9!	
:!;9I84:!;9!I?<4:!;9!I?<.?:!;9!'I<.?:!;9!'I<%$>:;9I:;9.?:;9'�<.?:;9'I@|:;9I4I4 !I"!I/#.:;9'I@|$.:;9'I@|,�0���
	�+JX�
��������t�����
�4#-�*��J<J
�
J�Y
tg%g����K�tg
�.
� �JX��������'�J<� 4����t�����
�*#'�*�
�Z�HJQ<HJE  ��
J" 
J�
J f� X Xg
J%��J'��
t�%g�5�(J7�&��K�tg
�.
� �JX��������uJ<�
 K�J�tt't
uut/ 
�gqJ
�Y	.'JX�
���t t� f:J�
Ju�t/ 
�KrJ
�Y.I	!4
f
t
g��t	�K���
,	tg��Ig
t�	5h��
�	t*f!t�IJ7t@<7�4 K�'Ot	X(J%�MY���F
�	Hg�� �t�	5h���'
O	t*f#t�
K
��
?�E��K���t
g�tg
t�w
t�t���
�,
�g���
2
g�&���H2IC�t
�K�
'K�	�.�t�
tY
tY
tK
t��X 		t
X�� ��
�K��K�'�K�'�K�
�g'''
#g'
tX��J. �
M'��-'����1��
t��X Mg�,�g
��
�Lt�� �50��6 2t�KI��
�g�K���K��Ku,'�K�'�K�
���,�g
��'�#g''��;%t��X K���-'(['�.�'#.��-'(#g''��'(�
+L�t�K�
��
�,�g
��'�#g''��'(�%t��X K���-'(['�.�'#.��-'(#g''��;
+L�t�K�
�	�,�g
��'�#g''.;%t��X K���-'(['�.T�'#.��-'(#g''.'���
+L�t�Ku
wYaddthisobviously_positivesubstalmosttempshort intbignummake_powersigncxofuxofwreduce_to_rationallong long intmake_sqrtalgebraicssolveonerootargtagindexvauxcontains_rootexpsqrtcoveraerr2set_nvariablesfloatsqrtamake_rootGNU C17 13.2.0 -mtune=generic -march=x86-64 -ginfocharproduct3long intyofuset_eigenvariableget_nvariablesunsigned chartermpolyvalmakepolytnegatelong doubleproductsaveeigenindexlessthanis_linear_insqrtcsigned charpsubst__assertunsigned intnvariablesargsotherroot__func__short unsigned intswapvarsmake_fractionequalsnewcgetnewvarcontainsPOLYnomialsavenvariablesobviously_negativelong unsigned intdoublecoverasqrt_aux2get_eigenindexcopywofuequationtemp2digitaritysignasymbolrational_functionfourans1zeroinferprover/redrat.c/home/beeson/MathXpert/home/beeson/MathXpertprover./usr/includeredrat.credrat.cbignum.hterms.hconstant.hpolynoms.hmaketerm.hsqrtaux.hprover.hpvalaux.hspeed.hvaux.hassert.heqn.hpsubst.hislinear.hpolyval.hGCC: (FreeBSD Ports Collection) 13.2.0zRx�qA�C
l<A�C
$\s'A�C
L���b'�
qq% 
04;DMW_cku�	s'������������ )<OT]cmu�����redrat.calgebraiccontains_rootexp__func__.0twoequalscontainsmakepolymake_sqrttnegatesumpolyvalmake_rootreduce_to_rationalis_linear_inget_nvariablesget_eigenindexgetnewvarvauxpsubstequationssolveset_eigenvariableset_nvariablesmake_powerrational_function__assertswapvarsobviously_positiveobviously_negativezerolessthaninfersqrt_aux2productmake_fractionfouroneproduct3copyor�����������
���������������������������#��������I��������|
�����������������������������������{������������������������-��������4G
��������^������������������
�������������������������*�����������������)	��������d
��������w
��������
���������

�
���������
��������#��������>��������e������������������������������������
����������������2��������9R ���������!������������������"��������~
!���������
���������
���������
����������������5��������g��������z���������������������������� ��������!��������8
��������A
K

P
 U#���������!���������!������������������������,$��������9��������C������������������������������������
��������Z��������{��������������������������� ��������8!��������c���������!�������������������������7�����������������*%��������S&��������x'��������'�(���������)���������'���������'�(���������)��������.��������U��������|���������*�����������������a��������hs+���������,������������������-���������-�+������������������� ��������,��������8��������Q��������o���������'���������'J
U������������������!���������,��������������������������,��������6��������d�����������������������������������&��������I%��������r&������������������'���������'�(���������)��������'��������'!(��������>)��������|
�������������������,��������
��������-*��������O��������d��������k� ������������������.���������.��������������������/��������,���������������������������0�������� ��������C ��������` 1��������� ,��������� ��������� ��������� ��������!,��������)!��������B!��������_!��������}!���������!���������!���������!1��������"*��������;"��������P"��������W"p" ���������"���������".���������".�"���������"���������"�" ���������".���������".�"��������#+��������1#,���������#���������#���������#��������
$
$��������Y$���������$,���������$���������$*���������$���������$���������$% ��������2%��������9%.��������@%.K%��������X%��������_%x% ��������%.���������%.�%���������%+���������%,��������v&���������&���������&0���������&��������'��������'1��������U',��������r'���������'���������'���������',���������'��������(��������(��������;(��������b(���������(���������(1���������(*���������(��������)��������).) ��������K)��������R).��������Y).d)���������)���������)�)/���������),��������*��������<*��������_*���������*
�*���������*��������+,��������%+��������E+*��������g+��������|+���������+�+ ���������+.���������+.�+���������+���������+,/��������",,���������,���������,���������,0�������� -��������M-��������j-1���������-,���������-���������-���������-��������.,��������3.��������L.��������i.���������.���������.���������.���������.1��������#/*��������E/��������Z/��������a/z/ ���������/.���������/.�/���������/���������/�/ ���������/���������/.���������/.0��������0+��������;0,���������0���������0���������0��������



�

*
	1

�8

f?

-F

T

�[

7b

�i

�p

�w

l~

��

)�

��

7�

�&

�2

�>

$J

\

t|

�

�

f�

��

.�

9

�*

�E

[

�v

��

�

0�

��

��



>4

�E

EV

�v

��

��

��

S�

��

W�

�

�1

ye

�{

z�

��

]�

G�

Y��	D

Oa

�p

�

q�

��

(�

��

�

@)

�8


G

!V

�d

I

� �A
�

�

��

T��

�%

�3

�A

�O

]

N�

��q�

��Z

�t

(
"
'&
>*
E.
G8
T=
]B
fG
oL
wQ
�V
�[
�`
�e
�j
�o
�t
�y
�~
��
��
�� @q`�	.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 @�0@0TX&>1,>11@13>s1�9@�q�J:V]Z<0X@pz0	q�<�l@�z}0I%�0AL��02M(�ZM�`M��@�|H�M�	�R��|�

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