Sindbad~EG File Manager

Current Path : /usr/home/beeson/MathXpert/bin/trigcalc/
Upload File :
Current File : /usr/home/beeson/MathXpert/bin/trigcalc/induct.o

ELF	>�~@@UH��SH��H�H�E��H�H�H��u��=H�H�U�H�PH���H���PH���CH�]���UH��H��H�H�E�H�H��tPH�H�@H�H�E������x�����
��H�E��@�����UH��SH��H�H��tH��X���9�u�^�����H�]���UH��H�� H��H��H��H�E�H�U������E��C�E����H�}�H�u�H��H�����t�U�H�
H�H��H����
�m��}�y���UH��SH���H��I��H��H��L��H��@���H��H���H��0���H��8���L��(���L�� �����E��H�E��H�E���0���f��@�S�E��"�E�H�H��H��H�E�H�H��0���H��8���H�9H�qH��H��������E�H�H��H��H�E�H����<u!�*�H�ƿ����E�H�H��H��H�E�H��f%�f��te�E�H�H��H��H�E�H��f���f��E�H�H��H��H�E�H�H�H�@�H��H���H��H��H��H��H��H��H��H����E�����������E��E�;E��������������x
���H��@���H��H���H��H����Eԃ}�y)H��@���H��H���H��H�����Eԃ}�t
��y����+�H��H��P���H��H����H�H��H��H�E�H�H�H�@H��H���H��H��P���H��H���H��P���H�ƿ��H�]���UH��SH��HH��H��H��H�E�H�U��H�E��H�E���E��E��E��E����E���E�H�H��H��H�E�H����H�M�H�E�H��H�����ts�E�H�H��H��H�E�H����<tV�E��}�u�E��E�H�H��H��H�E�H��f%�f��u&�E����y�E��E��������E��E�;E��M����}�u
�������}�~#��������������}�uH�U�H�E�H��H�������}����E������E�H�H��H��H�E�H�H�H�@�H��H���H��H��H��H��H��H��H��H����E�H�H��H��H�E�H��f���f�������>�}�u�}��������������H�]���UH��SH��HH��H��H��H�E�H�U��E��E��E����H�E��H�E���E��E���E�H�H��H��H�E�H����H�M�H�E�H��H�����ts�E�H�H��H��H�E�H����<tV�E��}�u�E��E�H�H��H��H�E�H��f%�f��u&�E����y�E��E�������E��E�;E��M����}�%�}�u�}���)����}����}����E������,����E�H�H��H��H�E�H�H�H�@�H��H���H��H��H��H��H��H��H��H����E�H�H��H��H�E�H��f���f����H�]���UH��ATSH��pH��I��H��H��L��H�u�H�}�H�U�H�M�L�E�L�M��E����E��E����lt
��i�}�=t(�}�<t"�}�>t�}�}t�}�|t�}�~t
��;���E��H�E؃}�tT�E�H�H��H�P�H�E�H�H�E�H�U�H�9H�qH��H�����t!�,�H�ƿ�����E�f��@u6H�U�H�M�H�E�H��H���
�Eԃ}�tH�H�H�E�H�U�H�E�H����Eԃ}��J�}�=u)H�E�H��H�M�H�PH�H�9H�qH��H�����u3�}�=��H�H�H�}�H�u�H��H��������E�f=�u �E�f��uH�E�H�� �@������t��[���H�E�H�� H�@H��EЋEЃ���t>�Hc�H�E�H��H�@H�H9�u!�-�H�ƿ���w�Hc�H�E�H��H�@H�H9��)H�E�H���H�E�H�� H�@H��EЋEЃ���u��j����M��M��A�ċE�H�H���H�M�H��H�u�H�YH�	H�>H�vI��I��H��H���H��H��H��D��H��H���H�E�H�PH�H�E�H�U�H�U�H�E�H��H������E��Z���uG�.�H�ƿ��/�H�ƿ��0�H�ƿ����-����y&H�U�H�E�H��H���Z�Eԃ}�y
���E�f
�f�E��H�E�H�M�H�]�H�E�H�PH�H�}�H�u�H���u�I��I��H��H���H���H�}�H�u�H��H���H��H��H��H��H��H��H��H����1�H��H�E�H��H����}�uT�A��H�
H�H�H�H�}�H�u�I��I��H��H���H��H��H��D��H��H����H�e�[A\]�UH��ATSH�ĀH��I��H��H��L��H�u�H�}�H�U�H�M�L��x���L��p����E����E��E����lt
���}�=t(�}�<t"�}�>t�}�}t�}�|t�}�~t
��k�H�E����E��H�EЃ}�tT�E�H�H��H�P�H�E�H�H�E�H�U�H�9H�qH��H�����t!�,�H�ƿ���H�E�H����Ẽ}��7�}�=u)H�E�H��H�M�H�PH�H�9H�qH��H�����u3�}�=��H�H�H�}�H�u�H��H������z�E�f=�u �E�f��uH�E�H�� �@������t������H�E�H�� H�@H��EȋEȃ���t>�Hc�H�E�H��H�@H�H9�u!�2�H�ƿ�����Hc�H�E�H��H�@H�H9��H�E�H���H�E�H�� H�@H��EȋEȃ���u�������M��M��A�ċE�H�H���H�M�H��H�u�H�YH�	H�>H�vI��I��H��H���H��H��H��D��H��H���H�E�H�PH�H�E�H�U��E��Z���uG�.�H�ƿ��/�H�ƿ��0�H�ƿ��������y&H�U�H�E�H��H����
�Ẽ}�y
��v�H�H��H��H�E�H�H�H�H�9H�qH��H���H�E�H�U��H�H��H��H�E�H�H�M�H�]�H�PH�H�}�H�u�H����x���I��I��H��H���H����
��Hc���H�U�H�E�H��H����3�H��H��p���H��H����4�H�ƿ��5�H�ƿ��}�uh�A��H�
H�H�H�H�}�H�u�I��I��H��H���H��H��H��D��H��H����������H�e�[A\]�UH��SH��hH��I��H��H��L��H�u�H�}�H�U�H�M�L�E�L�M����E��E����E�}�=t"�}�<t�}�>t�}�}t�}�|t
��3�}�=u3H�E�H��H�M�H�PH�H�9H�qH��H�����u
���}�=t/H�H�H�}�H�u�H��H�����u
���H�E�H����E�}�t
���E�f=�t
���E�f��t
��~H�E�H�� �@������t
��^H�E�H�� H�@H��E܋E܃���t
�E܃���u
��.�H�E�H�E�H���H�E�H�M�H�PH�H�H�Q�w�H��H�E�H��H���H�E�H�H�@H��H���F��E���H�H��H��H�E�H��E���H�H�[H��H��H��H��H��H��H�����tE�7�H�ƿ��8�H�ƿ��9�H�ƿ��E��E�;E��e�������H�E�H�H�@H��H����H�]���UH��SH��xH��I��H��H��L��H�u�H�}�H�U�H�M�L�E�L�M����lt
��#H�E�H����E�}�t
���E�f=�t
����E�f��t
���H�E�H�� �@������t
��H�E�H�� H�@H��E�E����t
�E����t8�:�H�ƿ��;�H�ƿ���^H�E�����E�}�=t�}�<t�}�}t�}�|u1H�E�H�@H�PH�H�E�H�U�H�E�H�@H�PH�@H�E�H�U��/H�E�H�@H�PH�@H�E�H�U�H�E�H�@H�PH�H�E�H�U��}�=��H�M�H�]�H�E�H�U�H�}�H�u�H���u�I��I��H��H���H����uA���ueH�M�H�]�H�E�H�U�H�}�H�u�H���u�I��I��H��H���H����t-�<�H��H�E�H��H�������)��"�E����E�}�<t�}�}u���H�]���UH��H��`H��H��H��H�E�H�U��E�f��=�H�E�H�PH�H�E�H�U��E�f=���H�E�H�PH�H�E�H�U�H�E�H�PH�@H�E�H�U�H�E�H�P(H�@ H�E�H�U�H�E�H�P8H�@0H�E�H�U�H�E�H�U�H�}�H�u�H��H�����tF�E�f��u=�E�f��u3�E�������u%H�E�H�H��u�E�f��u���E�E�f��^��H�E�H�HH�H�H�9H�qH��H�����thH�M�H�E�H�U�H�9H�qH��H�����tF�E�f��u=�E�f��u3�E�������u%H�E�H�H��u�E�f��u����E�f��^��H�E�H�HH�E�H�U�H�9H�qH��H�����to�E�f��uf�E�f��u\�E�������uH�E�H�H��t(�E�������u3H�E؋��u(H�E�H�@���u����������UH��SH��XH��H��H��H��H�M�H�]�H�U����y
���E�f��t�E�f��u�E�f��u
���E�f=��!H�E�H�P(H�@ H�E�H�U�H�E�H�P8H�@0H�E�H�U��H�E�H�H��H��H�E�H����H�M�H�E�H��H�����u
���H�H��H��H�E�H�H�PH�H�}�H�u�H��H�����tH�M�H�E�H�U�H�H�Q���H�H��H��H�E�H�H�E�H�U�H�}�H�u�H��H���H�u�H�H�[I��I��L��H��I��H��H��H����E�E��_�E�f�E�f�E��@H�E��U�H��H�H�U�H�H�@H��H���A����E�}�u���E�f�E��E�f;E�r��H�]���UH��H�� H��H��H��H�E�H�U�H�U�H�E�H��H����E��}��u�=�H�ƿ���>�}��u5�>�H�ƿ��?�H�ƿ����E���UH���������E���E�H����E��}�	~�H��]�����0trigcalc/induct.ccountints == 0 && countfree > 1countints > 1 || (countints == 0 && countfree > 1)FUNCTOR(q) == AND && ARITY(q)==3 && TYPE(ARG(2,q))==INTEGERSTEP_BEGUN(k)BASIS_BEGUN(k)selectinductionvariablesimple_selectauto_selectbasiscaseinductionstepC!2"int
��_�#�
��
�Q�lnQval�
��$arg&�%/1t0si1Xd2
fb3
�(n)C*C+C,n
�-1s�
�&J�ss��
s@2QQQdp _
sJ f(f028
�B_�
Bonetwo
J�_	${	&J	'J	'p[iv[Jcd\J]J^
�_�a.	

JSss�%snss(	<J�ss��
J�ss��
J�ss��
Jss��1�	#J:ss��2L��^sJyss
J�sss�sums�ssle)s�ss	FsJsss�J�	J!:sJ
sZsssspX"J��#J��	-�	.<	
JJ�sCP�����sW�'��)MH��J�ZssusQ�J�
��J	U	N	T�	GJ��sJJ�ss)sJ	'<R,J	OJ*�VQ+�I��i�J�l�J���t�s�Perr�J�l`J��Vt`s��ans`$���errfJ�Xhigs�@logs��ihC�^nhC�\i	��P,D
C��tD s��uGs�`G
s�PloGs�@hiGs��Gs��Jm��	ts��arg"s��-���~9���~errJ�\kJ�XfQ�TgQ�Pqs�@
s��s���J��R
t�s��arg�%s���0����<���err�J�Pq�s��k�J�Li�	J�\�J�X�	��@f�Q�T�J��Jt�s��arg� s��~�+���~�7���~f�Q�Xk�J��q�s���J�L�	��P�	s���	��@err�J���J�\Z	
�Z_
J9J��Ft9s��arg9s��9'���~93���~f=Q�Xk>J�@q?s��err@J�DA	���B	��HCJ�TDJ�\V	
�V_	FJ��
ts��iJ�\J�XJ�TJ�P	��HN�@J��
	
�
_
�J9��
t�s��i�J�\�	��H�N�@�J���J�X�J�T�J�PZ	�J���t�"s��~arg�*s��~�5���~�A���~i�J�\err�	J�D�J�X����~�	��P�N�H-out��	
��_� �r��t�s�Pk�J�l.�9� pr�q.�h/c
{�d.�XI4:!;9I.?:;9'I<4:!;9I4:!;9I:!;9I$>
:;9I8	.?:;9'I<
!I.?:;9'<:!;9I
I!I/&I:;9I
:;9I84I4
:!;9I.?:!;9!'I@|:!;9I4:!;9I:;9!	
:!;9!I
k.:!;9!'I@|7I4:!;9!I?<4:!;9!I?<.?:!;9!'I<.?:!;9!'I@|:!;9I .:!;9!
'@|!%"$>#$:;9I%:;9&'I':;9(.?:;9'I<).?:;9'�<*.?:;9'<+.?:;9'@z,.:;9'@|-
:;9..?:;9'@|/.:;9'@|,2p��
	��
��
ut	YY
0t
�t
�t
�tX=i��tZ�ufgfK��ty�	 5�t
Z�(X<Kr#f	�X f/�
.
K�*+#Jl5E���t
�tY<��'.fK� ��&.tY(.+�.f%���YrXJ��f
K	��	g�
gq>$�'"XJ!
=Y
f����uuutYX
XK!.fKKgu%.tY,Kf/K��uXJ�
g�g��Y�i/����.f�.�Yvff��
�Yn�uuu���tYX
XK!.fKKgu%.tY,Kf/K��uXJ�fff�����Y.f�.�
wYm2JmuX
Y�ff'f2f=f
g�XK�$fJ�K���Jg
�f	Z�	�(g�J�K�����X��=fK"��]��"�%�����=��KK�+�"�J�gJ�/mt.XK������b�! fKYg�
��7X.���h�5
iY�8J	fuX
Y�ff'f2f=f
g��X
K�$fJ�K��	��	�(g�J�K�����X��=fK"��Z��"�%�����=��KK�+�"�J�gJ�qt.XK������f� fKYfXZf(X6	Xf<�/�!����g�5g�
ZY�0XLJgff'f2f
g�$f�J�
K
�f�
K	��g�J
g�J
g� 
K��=fJf
K���	J!��Zt+Y
f�	�K�����z�J
��
YYj0XY	��
g�J
g�J
g� 
K��=fJf	K�����tgff&fg���#����
�	4K+W)K&4L���vvJgfg
vYk�J
�J�J�J�	J�J�J��JJX��$�!JY�ZJ"���:J3J0�	KJ	X���JZ�ZJ"���5J2J5X����	�ן�l.> 6�f
K�JX�
��J
�J
�J���
XK�X
�K/,�f�+Z	�f/�
�gq
��Yk�Y	g��v	g����v=4K��t/�Jh�scopefreeflagcontainsreadpendingthereforeasdesirederrbuftheoremstypebasiscaserecord_theoremsumofisumofallpowersauto_selectinductionstepnextcommentbufselectinductionvariableget_nexttheoremget_problemtypelong long intsigned charimagpartsymbolget_varlistdigitand3rightsidelong intcountfreemake_intdoublepush_assumptionssolvepopnodelineundo_inductionvarsargtagnospacezeroactualoptempunsigned intget_startselect_auxget_currentlineindhyplong unsigned intGNU C17 13.2.0 -mtune=generic -march=x86-64 -gnamedifferenceofnthpowersaritypoppendingequalsnplusoneatom_stringstrcpyget_assumptionvarhistvarliststrcatnvariablesreset_inductioninductionvariablepushpendingget_eigenvariableunassumepsubstfloatassumenextassumptionequationnexttheoremcountintslinenumberunsigned charshort intinfosimple_selectset_eigenvariablemultorder__func__get_nvariablespermallocreasonvarinfoget_nextassumptionuseinductionhypsubstrealpartlong doubleget_theoremscharvarinfindexbignumbufferinhibithistorynodeget_mathmodeenglishtruetermshort unsigned intlinklocussumofisquaredstackflag__assertreleaseleftsideget_varinfoinhibit_sumopcurrentdepthpushnodeordertermsdependstermargsleft/home/beeson/MathXperttrigcalc/induct.c/home/beeson/MathXperttrigcalc./usr/includeinduct.cinduct.cbignum.hterms.hmodel.hvaux.hconstant.heqn.hmaketerm.hops.htrig.hprover.hspeed.hpsubst.herrbuf.hcflags.hproverdl.hstring.hdispfunc.hassert.hdefns.henglish.hmpmem.hGCC: (FreeBSD Ports Collection) 13.2.0zRx� {A�C
E�q@rA�C
m`9A�C
E�o�rA�C
m ��A�C
H�� �9A�C
E�/ ��A�C
E�� �A�C
G��� 0�A�C
G��� T�A�C
E�� xmA�C
E�c�CA�C
> ��A�C
E����A�C
� IA�C
D�
((50&{/{r7&r@�Kr�W$Ce�p�{g��
�V��
������9�/��GVbnv�9}�99�����K�������
$1e<KNR
�`dk�~���m����������Iinduct.cindhypcurrentdepthvarhistpushnodepopnodeunassume__func__.4auto_selectinhibit_sumop__func__.3__func__.2get_start__func__.1select_aux__func__.0permallocnospaceget_currentlineset_eigenvariableundo_inductionvarsget_nextassumptionget_assumptionequalstruetermpush_assumptionselectinductionvariableget_nvariablesget_varlistget_varinfoenglisherrbuf__assertsimple_selectstrcpyatom_stringstrcatcontainsbasiscaseget_problemtypeget_nexttheoremget_theoremszeroreadpendingpoppendingmake_intand3pushpendingget_mathmodecommentbufget_eigenvariableoneinductionstepsumpsubstthereforeasdesireddependsrecord_theoremuseinductionhypordertermsreleasesumofiinhibittwosumofisquaredsumofallpowersdifferenceofnthpowersequationssolvereset_induction,��������!,(,2��������;,J,P��������Y,_$i,n���������,�,�,�,����������������������������������������������$�,,
��������@ ��������S!��������f"��������t#��������{#�$���������&���������'���������(��������D"��������s)���������*���������+��������,������������������������$��������C
M
R
�W-��������]���������.���������)���������/�����������������0��������1��������**��������T'��������](��������f&���������2������������������������(��������]��������c������������������������������������+��������,��������;
E
J
�O-��������U��������c���������'���������(���������&���������2��������J��������W��������a���������
8�
�
��-������������������������������������+��������,���������4���������5���������6��������	"��������!	)��������.	*��������i	7��������p	7�	8���������	"���������	#���������	#�	"��������"

p,

1

6
-��������X
$y
)���������
*���������
$�
9���������

��

�

�
-���������
��������:��������:;��������Q<���������=���������)���������>���������)���������>���������)���������>�����������������'��������S?��������\@��������oA���������,���������)���������/������������������B���������B�7���������7�;��������
<��������^
4���������
6���������
5���������
'���������
"���������
)��������*��������8��������T"��������i#��������p#�"���������
p�
�
�-���������$)��������*��������.$U9��������v
��
�
�-������������������:���������;���������<��������
=��������)��������%>��������/)��������<>��������F)��������S>��������f������������������B���������B�D�����������������E��������  ��������&$3F,��������P)��������e/��������o)��������|>���������)���������>������������������7���������7�7���������7�;���������<���������$�$D ���������"���������#���������#�"���������8���������'���������9���������)���������/�����������������	!��������*G��������8)��������E*��������O)��������\*��������f)��������s*���������$�$�H���������4��������8���������)���������*���������)���������*��������{?���������=���������?���������)���������/���������
J�K���������"��������
LM��������9N��������@NR"��������t"���������
O�M���������"��������L
PQM��������V
Q[M������������������'����������������,2��������@��������j"������������������R���������S��������~.���������)���������*���������)���������*���������)���������*������������������ '(


�

*
1
�8
4?
BF
IT
�[
(b
�i
Dp
�w
�~
��
��
�
	
�:
G
9T
La
�t
��
��
�
q�
G�
a�
)
�
�%
C
�^
�r
@�
���
��(�
���
j�
\

|&04
[T

o
#�
l�
g�
e

�;
�M
V_
�z
��
��
�
�
+$
�;
[
;q
?�
�
��
��
��
�
��
Z

f(
I
�[
Gv
7�
8�
��
�
��
K�
J�
m
�
_-
�9
�A
�W
�_��
��V�
��gG
�W
�_$�
�
��
���
	
�	
�p	
��	
�	
$�	�	
��	
�'

�6

�S

�]

�

��

��

�

>�

Q	
�(
u7
{A`
LjK�
��
��
�
>
$
u3
{=\
{fr�
1�
�
�
��
��
��
{��

Q%
9U

�c

�q

��

1�

�

�

{�
��

��
��

�	
�2
�@
O
�]
�r�{
{���
��&�
o���
b�{
�
�%8
�
"
)&
@*
I.
K8
X=
aB
jG
sL
{Q
�V
�[
�`
�e
�j
�o
�t
�y
�~
��
��
��
��
��
��
�
�
� D{d��&���9�rK4
X|��$�g�V�.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 @2@PO�&t,�8 1�&>�G9@�h�J�,P]=00X@�y0	qm0tl@�y�}0�;��0�@!�0�A(�B�B �@h|h8D�	0L�}�

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