Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54510 views
ELF>،@@H�7H�W����@f.�H�H�7Ð�H�GH�w�H�������H����(stdd
��4E�GgH`JY{�	l
_Tp`__v`BE�GgH`J���	r
_Tp`__v`�
(L0@��w���6�c�~���������
��?�d�����������9�_���������� �:�T�n�����b�x���������=�X�xØĸ�����
�,�K�jˁ̘Ͷ�����6	Q
q=_�!�%6&Q'q����6�#���eq�`E��lt�`b��6����
�����������������&�0���.�J��4�i�8`���eof<�@���	0�	1�	2�	3�	5_	6j	7u	8�	:	;	<	=(	?�	@�	B�	C�	D�	E�	G�	H�	I�	J�	L3	M>	NI	OT	Q�	R�
6H
KB
Mj
O��	�j
Q��	�
R��	�
Tj	�
Z"(	�
\<G	��
_[f	�O
cz�	�
p��	��
t��	�
{��	�	6
~�		�
�`!'	�
�;	��
:��Z�=5!6N7hv�w�{[~x������������-�H�c������������� �2 �Q �g �� �*� � !� 	� 
)!
b�
c�!
e�!
f"
g"
h+"
iA"
jV"
kl"
l�"
m�"
q�"
r�"
t#
u,#
vR#
xh#
y~#
|�#
~�#
��#
��#
��#
��#
�	$
�.$
�9$
�N$ _V2??/	!9�	"""""" "@"�###### #@"�"J#$!m	
"""""" $!�;
""""$!�g
"""$%�&S�
'[�'\`(W�
�
	i$)X�
	i$	6*==	+@�
�
,decC�
+F�
,hexI�
+N�
+R�
 ,octU�
@+Y�
�-\�
-`�
-d�
-g�
-j�
-m�
 -q�
@+t�
�+w�
J-z�
*�	
+���+��+��+��*��	,app�I.,ate�I+�I,in�I,out�I+�I *�;
,beg���,cur��,end��Rz$So$Tw\�$e�$h�$i�$%
.�/��
0(O5
�1=
1>
2Jp
���o
$�6Qq,�-d7�
:�;�?g@�.6�*� � �� �� �!�)!div�*:DDd|g�jgk�l�.Yd�g�jgk�l�.Rdg�jgk�l�.K7B:x;x?g@�.7�:�;�?g@�.�7�:�$;�$?g@�./37:�$;�$?g@�.=44444445int444444`6�6�7�8�0����6���� �(70787@7H7P7X7�!`7
�!h76p76t7�x7�7(�7�!�7�!�7%��7.j�7/j�70j�71j�72l�746�76�!�@�4jjj8�9e:S�;V�<X<\�T6]�=��>&4^�j�66��?�w6?�w006?�VVV606\4?�w~\0?
6��06�\?K6�06?Y6�0�@?{6�0�@?�w
0A�w?�l9�l96�?mldV�l9?i6zz6��?�l�V�l96�?�w�\0?�w�\?6Vl�@?�6��@?w9w0?l6Y0�Y6-?�60�Y?;6�Vl�Y?�6���Y?f6��Y?�6��Y?�l\96�B�V:V�B�6T��B�6n��B�V�V�B�l���?Wl�Vl��6]Ctm8�]�6�6�6�6�6�6�6�6�6 �=(��0�?lx�?V�V�lB�6���lB�V�V�l?�l��l96�?l��?�R7�76V?�YX�7?VxV�7?�=��76?���76B�l�V�l?�6�w?E6
��lB'V,V�lBDVKV�lB�VjV\l?S6��@?�6��@D����\����D����\���<�6�\l?�KQ�7?�Dq�76?�!��76E�E#6#6�EJ$(%/&6(=0137A(B/C6E=LMNPZ(\=]=^=gijkw=z�=�446�6BEBFG�E�6_6 H`5N9:@FG H(I0J8K@LHM�PN�QP�RR�ST�TV�U]�V^�Wa�Xc�Ye�Zg�[n�\o�]B|h6�Is6!(6�=�= 6: b� c6Jrem d6 e�: j� k=Jrem l= m�: v* wDJrem xD y9 �A6GK6[? 6qq6wL 6�qB!R��? 6��? =��B"j�ll5Mdiv �66? 4-�? �H==? ^6c�lB#ql�V�l? a6�V�lN ��jll5O %�6A v6N x�B �R
 �
 6B �=2 �
 6B �Q �
 6? �6g �B#�l� �lB#S6� \? *� DD? $D� �B �D� �
 6B �!!�
 6B �Y)!�
 B �KC!�
 :$h!$�$�$C!P���!��!��!�66z!6�=��!>&6s!=��!>&nh!N:�!�!6�B�6"�!?<6+"�!?>6A"�!B�6V"�!?6l"�!?6�"�!�"6�!B%��"6�!?�!�"��?%l�"jll�!?�!#���!?�6,#�!=6?#6G#�!G#6M#�!?�=h#�!?6~#�!I&,6?~�#NN�#�B�6�#�B�6�#��N��#�!NL	$�!?P6.$�!6lI��!B�N$?�6i$6�!6p
'4'��$6�$yB'�6�$wo$B'�w�$wz$B'�z$�$�B'�o$�$�/=(�%Q)*�%Rout3�%Rerr4�%+C%S%	�%�%�%,f%q%	�%	6.�%�%�%	&/�%�%�%	&0�%�%�%	�%�%S1�%�%	�%�%
%6
6
%E
6�%T,&U96U96V0%%<&X&WX&Xo%]&Xe%b&�%�%�%Y,&��&�&Z<&UZE&TZN&Q[S%*�&�&WX&W�Y�&��&�&Z�&U\�%,�'3']X&U^os,3'T_-8'P�%6
\�%3	�_'�']X&U^os3�'T_48'P�%`&��'a&9b &��c&d�'eU	f�(eT	gQh��!h��!ijj(
kX
	lNl�m�
����xn�
���lg&o�4o�Dl-@lYm���~o��m����������p��������q%U9:;9:;::;:;
:;I?<:;I.?:;nI<d	I4
/I0I&I
:;:;:;.?:;n<I.?:;nI<.?:;nI<.?:;nI<.?:;nI<9:;:;
:;I8.?:;n<cd.?:;n<d.?:;n2<d.?:;nI2<d.?:;nI2<cd.?:;nI2<d< 9:;!I:;"(#($(%<&:;2'
:;I?<(.?:;n2<d).?:;n2<d*:;I2+
:;I?2<,
:;I?2<-
:;I?2<./I//I04:;I<
14:;nI?<24:;I<3:;4$>5$>6I7
:;I889:;I::;n;:;<
:;I=I>!I/?.?:;I<@A.?:;I<B.?:;I<C:;D.?:;nI<EIF;GBIH&I.?:;I<J
:;I8KILM.?:;I<N.?:;<O.?:;�<P:;Q9:;R
:;I82S.?:;nI<dT.4 U:;IV.G:; dWI4X:;IY.1n@d�BZ1[.G; d\.G:;@d�B]I4^:;I_4:;I`.4@�Ba1RUXYb1c1d��e���Bf���B1g��h4:;I?<i4I?4<j4Gk4Gl4Gnm4Gn
n4Gno4Gnp4Gnq.?<n<9&�^�
../../../open-axiom/src/utils/../io../../../open-axiom/src/include/open-axiom/usr/include/c++/5/usr/include/x86_64-linux-gnu/c++/5/bits/usr/include/c++/5/debug/usr/include/c++/5/bits/usr/include/c++/5/ext/usr/include/usr/lib/gcc/x86_64-linux-gnu/5/include/usr/include/x86_64-linux-gnu/bitsstd-streams.ccdiagnosticsiostreamtype_traitsc++config.hdebug.hcwcharchar_traits.hcstdintexception_ptr.hclocalecstdlibcstdiosystem_errorios_base.hcwctypeiosfwdpredefined_ops.hnew_allocator.hnumeric_traits.hstdio.hlibio.h<built-in>stddef.h	wchar.hwchar2.h
time.hstdint.hlocale.htypes.h
atomic_word.hstdlib.hstdlib-float.h
stdlib-bsearch.h
stdlib.h
_G_config.hstdio2.h
stdio.h
wctype.hstl_pair.h	$��=>�KL	8Jo�Jgetenvuint_fast16_tlong int__debugint_p_cs_precedesuint_least64_tstrtoullwcsxfrm_S_ios_seekdir_endchar32_t~exception_ptrgoodbit_shortbufrand_ZNK9OpenAxiom11Diagnostics14StandardStream6outputEvwprintfsetvbufoutputset_errorsystemassigntm_yday_IO_buf_end_ZNSt11char_traitsIcE11to_int_typeERKc_S_failbitgets_S_ate_S_truncGNU C++11 5.2.1 20151010 -m64 -mtune=generic -march=x86-64 -g -O2 -O2 -std=c++11 -fstack-protector-strongfflush_ZNSt17integral_constantIbLb0EE5valueE_S_uppercaseint_least8_tvfwscanf_ZNSt15__exception_ptr13exception_ptr4swapERS0_towctrans_IO_write_endunsigned int__gnu_cxx_S_fixed__exception_ptr_S_ios_openmode_end_S_floatfield_flagsintmax_tuint_fast64_tint_fast16_t__int32_t_ZNSt8ios_base4InitD4Evtruncwchar_tatol_ZNSt15__exception_ptr13exception_ptr10_M_releaseEvvwscanfcurrency_symbol_markersptrdiff_tvswscanf_ZSt4cerrfrac_digitschar16_tmon_decimal_point_S_ios_iostate_enderror_ZN9__gnu_cxx24__numeric_traits_integerIiE5__minEnullptr_t__opsprev_IO_lock_t__max_digits10ungetcwcscpy_ZNKSt17integral_constantIbLb0EEcvbEv_ZNSt11char_traitsIcE7not_eofERKiwcscat_ZN9__gnu_cxx25__numeric_traits_floatingIfE16__max_exponent10Edecimal_point__numeric_traits_integer<short int>_S_binn_sep_by_space__statetm_yearcopyvwprintfoperator std::integral_constant<bool, true>::value_typeint_fast64_t__gnu_debug_pos_S_leftfwscanfstrtolluint_least16_tuint32_tint8_tp_sep_by_spacestdoutmbtowc__dso_handlegp_offsetfpos_t_M_get__count_ZN9OpenAxiom11Diagnostics14StandardStreamD4Ev__numeric_traits_integer<char>floattm_mon_cur_columnfgetpos~StandardStreamint16_t_ZN9__gnu_cxx3divExxint_least16_tuintmax_tgetwclong long unsigned int_S_end_ZNSt15__exception_ptr13exception_ptrC4EOS0___numeric_traits_floating<long double>wcstoul_S_dec_S_hexint_n_sign_posn_S_adjustfieldwctombunitbuflocaleconv__FILE_S_boolalphaadjustfield_offsetto_int_typewcrtomb_ZSt4cout_M_exception_objectlldiv_ZNSt17integral_constantIbLb1EE5valueE_ZNK9OpenAxiom11Diagnostics14StandardStream5errorEv_ZNSt15__exception_ptr13exception_ptrC4Eviostatevalue_filenoDiagnosticsvfwprintf__pad3fixed__cxa_atexitfopenp_sign_posn__initialize_puppercasesize_tmove__numeric_traits_floating<float>floatfieldint64_tint_least64_t__numeric_traits_floating<double>showpos_ZN9__gnu_cxx25__numeric_traits_floatingIdE16__max_exponent10E__mbstate_tcerruint_least8_t_IO_read_base_S_cur__prioritybsearch_IO_save_end_nextint_frac_digitsclearerrwcsstrfwideint_n_cs_precedes_S_right_S_showpointfindbasic_ostream<char, std::char_traits<char> >negative_signfreopen__valuepiecewise_construct_tgroupingwscanf_S_showbase_ZNSt15__exception_ptr13exception_ptrC4EPvtm_zone_S_indecltype(nullptr)showpointchar_mode5div_tswscanfferror_IO_markerint_type_IO_write_base_IO_read_ptrwctype__digits10long long int__maxquick_exit__wch__numeric_traits_integer<long int>uint8_t_ZNSt15__exception_ptr13exception_ptrD4Evquotmbsrtowcs_S_begrename__poswctrans_t_ZN9__gnu_cxx24__numeric_traits_integerIlE5__maxEmbstowcsrightswapexception_ptrwcstofwcsspn_ZN9__gnu_cxx24__numeric_traits_integerIsE5__maxEwcsrtombs_ZNKSt15__exception_ptr13exception_ptr20__cxa_exception_typeEv__in_chrgsetbufperrorcoutscientific_S_oct_S_badbitmon_groupingwcstoull_ZN9OpenAxiom11Diagnostics14StandardStreamC4ERSoS2__ZNSt11char_traitsIcE6assignERcRKc_ZNSt8ios_base4InitC4Evbool__cxx11boolalphap_cs_precedes_ZNKSt17integral_constantIbLb1EEcvbEvchar_typefailbitint_fast8_tfseekldiv_G_fpos_tfgetws_ZN9OpenAxiom11Diagnostics14StandardStreamD2Ev_S_basefieldpiecewise_constructoperator=badbitremovesrandlong doubleoperator std::integral_constant<bool, false>::value_type_IO_backup_basefsetpos_S_goodbit_S_scientificuint_fast32_t__pad1__pad2ftell__pad4__pad5long unsigned int__is_signedungetwcfmtflags_Value_S_eofbitfgetcwctype_t_vtable_offsetrewindtm_mdaywcscmpfgets_ZN9__gnu_cxx24__numeric_traits_integerIiE5__maxEwcschrtmpnamfputwcintptr_tintegral_constant<bool, true>uint16_topenmodewcscoll_S_synced_with_stdiothiseofbitfputws_ZNSt11char_traitsIcE4moveEPcPKcm_S_skipws__static_initialization_and_destruction_0ios_baseputwc_ZN9OpenAxiom11Diagnostics14StandardStream9set_errorERSobtowcunsigned charcomparefclose_IO_save_baseint_fast32_tmbrtowc_IO_read_end_GLOBAL__sub_I__ZN9OpenAxiom11Diagnostics14StandardStreamC2ERSoS2_iswctypembsinitwmemchrshort int_ZNSt11char_traitsIcE3eofEvwmemcpy_CharT~Initint_curr_symbol__digitspositive_sign__cxa_exception_type_S_outmbrlentm_seclengthfreadtype_infon_sign_posn_ZNSt15__exception_ptr13exception_ptraSEOS0_11__mbstate_tatexitchar_traits<char>_Ios_Iostateputwchar_Ios_Openmodewcsrchr__max_exponent10to_char_typegetwchar_S_refcount_S_internal__wchbuint64_tint_n_sep_by_space__numeric_traits_integer<int>_ZN9__gnu_cxx24__numeric_traits_integerIsE5__minEtm_hourwcsncmp_ZNSt11char_traitsIcE2ltERKcS2_binaryldiv_tleftfp_offsetwcsftime_ZNSt11char_traitsIcE6lengthEPKcint_p_sep_by_spaceskipws_ZNSt11char_traitsIcE11eq_int_typeERKiS2_getcuint_least32_toperator boolat_quick_exit_ZNSt11char_traitsIcE6assignEPcmc_ZNSt11char_traitsIcE12to_char_typeERKiwmemmove_ZNKSt15__exception_ptr13exception_ptrcvbEv_Ios_Fmtflagsuintptr_tintegral_constant<bool, false>_M_addref_locksizetypestrtoullconv_old_offsetstdin_IO_FILE_Atomic_wordwint_t_ZN9OpenAxiom11Diagnostics14StandardStream10set_outputERSoreg_save_areaint32_t_S_appnot_eofint_least32_twcstodwcspbrk_ZNSt15__exception_ptr13exception_ptrC4EDntm_minmbstate_twcstokwcstolwmemset_S_ios_fmtflags_endsetlocalediv_t_ZNSt11char_traitsIcE4findEPKcmRS1__ZNKSt15__exception_ptr13exception_ptr6_M_getEv9_G_fpos_t_sbuftmpfilegetcharinternal_IO_write_ptreq_int_typethousands_sep_M_release/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/utilsstrtodstrtofuint_fast8_tfeofOpenAxiomwcstombsstrtolfwprintfmblenoverflow_arg_areaInit__compar_fn_twcstold_ZN9OpenAxiom11Diagnostics14StandardStreamC2ERSoS2_wctob6ldiv_twcstollatoll__minswprintf_ZNSt15__exception_ptr13exception_ptrC4ERKS0_value_type_ZN9__gnu_cxx24__numeric_traits_integerIcE5__maxEstrtold__off_t7lldiv_tset_outputsigned charmon_thousands_sepbasefieldshort unsigned intStandardStreamlldiv_t_S_unitbufatofwcscspnatoin_cs_precedestm_isdstseekdir_ZNSt15__exception_ptr13exception_ptraSERKS0__ZN9__gnu_cxx24__numeric_traits_integerImE8__digitsEwcsncpyfgetwc_Traits_ZNSt11char_traitsIcE4copyEPcPKcmdoublewcsncattm_gmtoffshowbaseostream_chain__numeric_traits_integer<long unsigned int>_ZNSt15__exception_ptr13exception_ptr9_M_addrefEvFILEwctransvswprintftm_wday_flags2_ZN9__gnu_cxx25__numeric_traits_floatingIeE16__max_exponent10E../../../open-axiom/src/utils/../io/std-streams.cc_ZNSt11char_traitsIcE7compareEPKcS2_mint_p_sign_posntypedef __va_list_tag __va_list_tag_Ios_Seekdir_S_showpos_ZNSt11char_traitsIcE2eqERKcS2_wcslen__off64_t__ioinit_unused2_IO_buf_base_ZN9__gnu_cxx24__numeric_traits_integerIlE5__minEwmemcmpqsortGCC: (Ubuntu 5.2.1-22ubuntu2) 5.2.1 20151010zRx�0DX	l&D].symtab.strtab.shstrtab.text.data.bss.text.unlikely.rela.text.startup.rela.init_array.rela.debug_info.debug_abbrev.rela.debug_aranges.rela.debug_ranges.rela.debug_line.debug_str.comment.note.GNU-stack.rela.eh_frame��&S	b���( c0	����std-streams.cc_GLOBAL__sub_I__ZN9OpenAxiom11Diagnostics14StandardStreamC2ERSoS2__ZStL8__ioinit_ZN9OpenAxiom11Diagnostics14StandardStreamC2ERSoS2__ZN9OpenAxiom11Diagnostics14StandardStreamC1ERSoS2__ZN9OpenAxiom11Diagnostics14StandardStreamD2Ev_ZN9OpenAxiom11Diagnostics14StandardStreamD1Ev_ZN9OpenAxiom11Diagnostics14StandardStream10set_outputERSo_ZN9OpenAxiom11Diagnostics14StandardStream9set_errorERSo_ZNSt8ios_base4InitC1Ev__dso_handle_ZNSt8ios_base4InitD1Ev__cxa_atexit

��������


"��������

Y
�
2

0%
5
�
C
O
bZ
e
�k
/�
	�
b�
�
#�
�
�
z
�
�
��
�
�
-

�
k
.
�K
�c
j
2�
B�
��
*
�
��
��
i�
�
�

�
�1
�8
�P
�W
j

q
(�
��
��
U�
�
|�
Q�
��
Q�
�
�
8�
g�
'�
�
��
�
Q
0)
Q/
QH
QN
g
Qm
��
{�
n�
{�
e�
t�
��
L�


f
�(
.
�P
�[
Oe
c>	
N	
|T	
.Z	
s`	
5f	
l	
yr	

x	

~	
�	
�
�	

�	
��	
��	
2�	
��	
L�	
Z�	
��	
]�	
��	
��	
I�	
��	
�
�	
-�	
P

�


�

� 


&

u,

92

�<

�L

�R

�	X

�^

Xh

�q

�

�

A�

��

�
�

��

��

e�

�
�

�
�'
�C
FQ

`
#o
�
~
;	�
!�
b�
��
��
��
��
Z�
�
[
�
!
�/
0]
��
��
f

/


�

�

,)

g;


A

�J

�	P

vY

�e

ip

�
~

��

G�

B�

r�

Q�

�

n#
�;
�G
R
Q]
Yh
�s
n}
	�
�
Q�
Y�
��
n�
��
�
Q�
Y�
��
n
;

B
r#
Q.
9
nC
)O
BZ
re
Qp
{
n�
��
B�
r�
Q�
�
n�
��
B�
r�
Q�
�
n
\



?$
�+
�2
�@
G
dN
�U

\
Hc
�
~
h�
��
q�
��
E�
M�
�	�
6�
��
N�
�


*$
�1
�	>
ZK
4X
he
�r
_
U�
��
��
B�
��
�
$�
��
1�
8

�
u)
H.
h:
�F
�R
�^
�m
�x
��
��
��
$�
��
r
�
�
�	�
=

�7
$_
d
�
b�
�	�
��
��
�

4@
Ee
��
��
��
��
H

]:
|`
�
��
m�
�
B�
�!
w;
�U
9o
(�
B�
��
;�
6�
��
�	
N

!
�-
�9
]E
Q
�
c
�y
�
��
��
�
f
�>
_Y
Gy
N�
&�
P�
&�
&
�-
�L
Uk
��
�
�
��
��
�
�
��
��
�	�
�	
�
�7
�R
4r
.
�
��
y�
��
	�
��
'�
��
+
�
�
�)
	4
�	?
�J
WU
8`
k
�v
8�
[�
��
�
�
��
�
�
��
��
��
k
�
"
Y.
�:
F
�
R
�^
Jj
�v
��
!
�

�
\
�
�	�
��
�
�
��
O�
��
��
Y
&


*
46
XB
<O
qi
jz
��
��
��
z�
�
��
{�
,�
��
�	
�
�+
*6
�\
�y
t�
t�
=�
J�
	�
�	
.
I
�d
=�
��
.�
x�
��
��
| 
�3 
QR 
�h 
�� 
[� 
�� 
<� 
�� 
G!
�*!
�G!
�P!
�\!
i!
t!
{!
"�!
�	�!
��!
t�!
��!
�	"
#"
�,"
B"
�W"
m"
a�"
��"
��"
I�"
j

#
-#
�S#
+i#
R#
��#
D�#
��#
��#
��#
��#
�
$
�/$
�:$
�O$
!p$
�{$
�$
��$
D�$
��$
R�$
�%
p%
1%
7%
7
T%
iZ%
�r%
�x%
��%
��%
��%
��%
��%
��%
�&
�&
�!&
�	=&
Vl&
�p&�&
V�&
��&
+�&�& '
V&'
E'0`'
Vw'
�'
Z�'�'�'

�'�'�'&�'(
k(
�(
�*(7(
�A(
�K(
�Y(
�f(
~p(
C	{(
��(
��(
��(
e�(
m�(
��(
�(
��(
�

 !&089@H&k� 4H \0p@9!y'y,z@�&;@�V�S�N@ Wd��(_@8W�3	p�)H��/@~@(�H�0`�@p���r0��@0�0�044�0RP.��P��P��@`�xQ��Q�	�T�