Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

build open-axiom

54437 views
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
  compiled from "/tmp/oa-m8pm1C/code.lsp"
  using SBCL version 1.2.14.debian
�X86-64N
1.2.14.debian2(:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�SB-C�	%PROCLAIMPFTYPEPFUNCTION�	AxiomCore�%Thing�%Shell	�%IntegerSection#		�BOOT�ASTACK;#;$Nni;1	##�/tmp/oa-m8pm1C/code.lsp	o	0	8	�%Boolean	�ASTACK;=;2$B;2	##0	8	�ASTACK;copy;2$;3	##0	8�ASTACK;coerce;$Of;4	##0	8
�ASTACK;depth;$Nni;5	##0	8	�ASTACK;empty?;$B;6	##0	8�ASTACK;extract!;$S;7	##0	8	�ASTACK;insert!;S2$;8	##0	8(�ASTACK;push!;S$S;9	##0	8�ASTACK;pop!;$S;10	##	0	8�ASTACK;top;$S;11	##
0	8�%ListP*			�ASTACK;arrayStack;L$;12	##0	8		�ASTACK;empty;$;13	##0	8�SB-IMPL�B%DEFUN>D#"2#LTSTANDARDTMINIMAL#
#`#$"#$"�\	TEXTERNAL�TL-XEP	q	0
	#l"�"9#uDE#
#$"�#$"
\	J0
	\	s	0		�I1�EH����H�e�H�ύA����y����H��H�U�H�}�I�L$`H�M�H�E�H�H�H�U�H9���H�M�H�\�H�]��C����H��H�P�H��H�l$H�l$��%X H��H�]�H�{H�\$�H��H�U�H�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��TABSOLUTE�RETURN-MULTIPLE�,T�s�$	P
SIMPLE-VECTOR	PVALUESP
UNSIGNED-BYTEP&REST		PFUNCALL#
#	PCDR`PCAR`�	SB-KERNEL�c%COERCE-CALLABLE-TO-FUN`�cDATA-VECTOR-REF#
##	PLENGTHf�c%CHECK-BOUNDf�cDATA-VECTOR-REF-WITH-OFFSETfPSVREFf\	�
shellEntryf�SPADCALL`\	\	�p##
0	8C>r#":#LDE##`#$"#$"�#$"�\	GH	J0
	#p"�"A#yDE##$"�#$"
#$"M\	J0
	\	O0		�Q1�EH����H�e�H�΍A����y����H��H�U�H�}�H�u�I�L$`H�M�H�E�H�H�H�U� H9���H�M�H�\�H�]؍C����H��H�P�H��H�l$H�l$��%X H��H�]�H�sH�\$�H��H�U�H�}�H�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��RS�4zU�tV	X	ZP	&OPTIONALPMEMBER	\		_##	a�b�d�e###	g�h�i�j�\	l�m�\	\	��##0	8C>�#"�#LDE##`#$"#$"�\	GH	J0
	#r"�"�#{DE##,""�#,""M\	J0
	\	O0		��1�EH����H�e�H�ύA����y���H��L��L�E�H��H�u�I�L$`H�M�H�N��$H9�v\H�|�H�}�G��uUH��H�P�H��H�l$H�l$��%X H��H�u�H�}�L�E�H�I��H�ù�u�`���
*��
���
/���WY6	_##	a�b�d�e###	g�h�i�j�\	l�m�\	\	��##0	8C>�"<<�BOOTTRAN�reverse!<#"z#LDE##`#$"#$"�\	GH	J0
	#l"�"�#uDE##$"�#$"
\	J0
	\	O0		��1�EH���5H�e�H�ύA��%�y���H��H�U�H�}�I�L$`H�M�H�\$�H��H�U�H�}�H�S����H�+H���P	HB�H�� �]H�E�H�H�H�U�>H9���H�M�H�L�H�M��A����H�Q�H��H�l$H�l$��%X H�U�H�\$�H��H�U�H�}�H������H�+H���P	HB�A�A��H�U�H�E�H�E� �ff�fDH�E�H�H�H�U�:H9��H�M�H�D�H�E�H�M��A���H��H�P�H��H�l$H�l$��%X H�U�H�E�H�H�H�U�8H9���H�M�H�\�H�]��C����H��H�P�H��H�l$H�l$��%X L��H�]�H�}�H�sH�\$�H��H�U�I���H�+H���P�HB�H�E�H�xH�\$�H��H�E��H�+H���P�HB�I�l$@M�\$I�KI;L$ �.I�L$I�KI1l$@t�	H�Q�H�U�H�QH�M�H�UؿA�A��H�U�H�U�H�}ع�������H�U�H�\$�H��H�����H�+H���P	HB�H�E�H�xH�E���u�`�H�E�H�H�H�U�0H9���H�M�H�t�H�u��F����H��H�P�H��H�l$H�l$��%X H��H�u�H�~� H�ù�u�`���
*��
���
/��
���
/��
���
/��j���Y��������
���
/�R�alloc_tramp�R�SB-VM�	GENERIC-<��R�	GENERIC-+��R�	GENERIC--�1��dV	�P+########	a###########!	_############!	a�b�d�e#############!
	g�h�i�_�j�b�d�e############!	g�h�i�j�PCONS##########!
	a####	�##########!
	P<#########!		_�#########!		P-########	b�d�e#####	g�h�i�j�_####	a�b�d�e#####	g�h�i�j�"####	\V	l�m�l�m�PRETURN#########!		PCOND#######	PLOOP######	l�m�l�m��##	\	\	��##0	8C>�<###KDE##`#$"#$"�\	GH	J0
	#^"�"�#gDE##$"#$"\	J0
	\	O0		��1�EH��u>H�e�L��H�ύA�u/�y��u)H��H��I�L$`H�M�I��H��H�|�����u�`	��
*��W^##	\	\	��##0	8C">�#"2#LDE##`#$"#$"�\	GH"	J0
	#l"�"9#uDE##$"�#$"
\	"J0
	\	"O0		�I1�EH����H�e�H�ύA����y����H��H�U�H�}�I�L$`H�M�H�E�H�H�H�U�DH9���H�M�H�\�H�]��C����H��H�P�H��H�l$H�l$��%X H��H�]�H�{H�\$�H��H�U�H�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��RS�,�"WY�	_##	a�b�d�e###	g�h�i�j�\	l�m�\	\	��##0	8C%>�/<###KDE##`#$"#$"�\	GH%	J0
	#^"�"�#gDE##$"#$"\	%J0
	\	%O0		��1�EH��u>H�e�L��H�ύA�u/�y��u)H��H��I�L$`H�M�I��H��H�|�����u�`	��
*��%W�/##	\	\	��##0	8C)>�,<#"�#HDE##`#$"#$"�#$"�\	GH)	J0
	#m"�"�#vDE##,""�#,""
#,"�"M\		)J0
	\	)O0		��1�EH��uuH�e�H�΍A�ui�y��ucH��L��L�U�L��L�E�L��L�M�I�L$`H�M�H�\$�H��I��I��I��H�a����H�+H���P	HB�L�M�L�E�L�U�I��H���]���
*�)�eUV	}Z~		,###	\	\	�##0	8C,>
#"�#LDE##`#$"#$"�#$"�\	GH,	J0
	#p"�"#yDE##$"�#$"
#$"M\	,J0
	\	,O0		�1�EH����H�e�H�΍A����y����H��H�U�H�}�H�u�I�L$`H�M�H�E�H�H�H�U�NH9�vtH�M�H�\�H�]؍C��uiH��H�P�H��H�l$H�l$��%X H��H�]�H�sH�\$�H��H�U�H�}�H�+H���P�HB�H�U�H���]���
*��
���
/��,_###	abde####	ghij\	lm\	\	�##0	8C/>"<�empty stack	�error<#"�#LDE##`#$"#$"�\	GH/	J0
	#l"�"�#uDE##$"�#$"
\	/J0
	\	/O0		��1�EH���<H�e�H�ύA��,�y���"H��H�U�H�}�I�L$`H�M�H�E� H�E� H�\$�H��H�U�H�}�H�C����H�+H���P	HB�H�� ��H�E�H�H�H�U�PH9���H�M�H�\�H�]��C����H��H�P�H��H�l$H�l$��%X H��H�]�H�{H�\$�H��H�U�H�+H���P�HB�H�U�H�E�H�H�H�U�8H9��AH�M�H�\�H�]��C���2H��H�P�H��H�l$H�l$��%X L��H�]�H�}�H�sH�\$�H��H�U�I���H�+H���P�HB�H�U�H�E�H�H�H�U�RH9���H�M�H�\�H�]ЍC����H��H�P�H��H�l$H�l$��%X L��H�]�H�}�H�sH�\$�H��H�U�I���H�+H���P�HB�H�U�H���]�H�\$�H��H�����H������H�+H���P	HB��;�����
*��
���
/���
���
/���
���
/��$/WY	_#####	a&b&d&e######	g'h'i'_######	a(b(d(e#######	g)h)i)_######	a*b*d*e#######	g+h+i+j+j)j'#######	"#######	\:	l+m*�LETT#####	l)m(/#####	l'm&�#####	�###	PPROG##	\	\	�8##0	8C2>:"<<#"�#LDE##`#$"#$"�\	GH2	J0
	#l"�"�#uDE##$"�#$"
\	2J0
	\	2O0		��1�EH���vH�e�H�ύA��f�y���\H��H�U�H�}�I�L$`H�M�H�\$�H��H�U�H�}�H�S����H�+H���P	HB�H�� ��H�E�H�H�H�U�8H9���H�M�H�D�H�E�H�M��A����H��H�P�H��H�l$H�l$��%X H�U�H�E�H�H�H�U�PH9���H�M�H�\�H�]ЍC����H��H�P�H��H�l$H�l$��%X H��H�]�H�{H�\$�H��H�U�H�+H���P�HB�H��H�E�H�pH�U�H�Eع�u�`�H�?���H�@�����u�`	��
*��
���
/��
���
/��B2W�a####	_#####	aDbDdDe######	gEhEiE_CjEbCdCe#####	gFhFiFjF####	"####	\(	lEmDlFmC�##	\
	\	�M##0	8C:>O#"�#ODE##`#$"�#$"�\	GH:	J0
	"�"�"�"�DE##,""�#,""M\	:J0
	\	:O0		�
1�EH����H�e�H��H�ύC����H�ӍA����y����H��L��L�E�H��H�u�I�L$`H�M�H�N��VH9�vcH�|�H�}�G��u\H��H�P�H��H�l$H�l$��%X H��H�u�H�}�L�E�H�I��H�ù�u�`���
/���
*��
���
/��W:�lV	PLISTX	6	_##	a]b]d]e###	g^h^i^j^\	l^m]\	\	�b##0	8C?>d#"�#LDE##`#$"�\	GH?	J0
	#c"�"�#lDE##,""
\	?J0
	\	?O0		��1�EH����H�e�H�ʍA�u{�y��uuH��L��L�E�I�L$`H�M�I�H��ZH9�vYI�t�H�u��F��uRH��H�P�H��H�l$H�l$��%X H��L�E�H�u�H�v1�1�H�ù�u�`���
*��
���
/�l?V	X	6	_##	apbpdpe###	gqhqiqjq\	lqmp\	\	�u##0	8C�
ArrayStack>x�	devaluate<�$ConstructorCachew�BGETHASH3<�domainEqualList<�lassocShiftWithFunction<�ArrayStack;<�CDRwithIncrement<PREMHASH<#"#IDE##`#$"\	GHw	J0
	#M"�"
#VDE##$"
\	wJ0
	"�"�"*"�+�	E#\	TCLEANUPPFLET`CLEANUP-FUN-78TINw	J0
	\	O0	�̎	�	/1�EH����H�e�H�U�I�L$`H�M�H�\$�H��H�U�H�F����H�+H���P	HB�I�l$@M�\$M�CM;D$ �uM�D$M�CI1l$@t�	L�E�I�P�I�@ H������x�I�<<��aHDx���Q�JH�\$�H��H������ H������H�+H���P	L�E�H��H�����H�p@���	H�\$�H��I��H������H�+H���P	HB�H�U�H�M�H�� ��I�D$`H�E�I�D$HH�E�H�e�H�M�I�D$PH�H�iH��H�AH�E�I�D$PH�\$�H��H�U�H�<����H�+H���P	HB�H��H�]�H�E�O I�D$PH�I�D$PH��H�D$�H��H��H�H���H�]�H��H���]�H�U�H�������u�`	L��L�E�H��H�}�H��H�u�H�E�I�D$HL�M�I�T$`I9�t'1�H��H�BH��tH�
I�H�ZH�I9�u�I�T$`H��H�D$�H��H��H�H���L�E�H�}�H�u�I��H��H��A�A��EI�T$`H�U�H�I�H�� t
� H��H��]�H������x�I�<<��aHDx���QtIH�\$�H��H�����H������H�+H���P	��jA�A��AXA���~����
�
�
R�alloc_trampR�UNWIND���w�#1		6	PSYMBOL-VALUE########	�PNOT########	}#######	�%CLEANUP-POINT#####	�%UNWIND-PROTECT��%ALLOCATE-CLOSURES�~#####	Z######	PGETHASH######	{######	��z�x#######	��|#####	�%CONTINUE-UNWIND��%UNKNOWN-VALUES�\$	y��#######	y�\	�tableRemove!��######	PPROG1######	PMULTIPLE-VALUE-BIND��###	�
tableValue�\	\	��##0	8C}>�x<w�newShell<�SetCategory	�HasCategory<�Evalable�	BasicType	�CoercibleTo�
OutputForm		�buildPredVector<y�haddProp<�stuffDomainSlots<�IndexedFlexibleArray<#"X#IDE##`#$"\	GH}	J0
	#M"�"Z#VDE##$"
\	}J0
	\	}O0		�
�1�EH���H�e�H�U�I�L$`H�M�H�\$�H��H�U�H�&����H�+H���P	HB�H�U�H�5���H�]�I�l$@M�\$I�S I;T$ ��I�T$I�SH��H�p�H��H�@�H�X�H�@ I1l$@t�	H�U�H�\$�H���nH������H�+H���P	HB�H�U�H�\$�H��H�U�H�=����H������H�+H���P	HB�H�� �H�\$�H��H�U�H�B����H�+H���P	HB�H�Q���I�l$@M�\$I�{ I;|$ ��I�|$I�{H��H�X�H��H�@�H�P�H�@ I1l$@t�	H�\$�H��H�U�H������H�+H���P	HB�H�U�H�\$�H��H�U�H�=����H������H�+H���P	HB�H�U�H�\$�H��H�U�H�=����H������H�+H���P	HB�H�� ��H�U�H�\$�H��H�U�H�=n���H�O����H�+H���P	HB�H��H�u�H�\$�H��H�U�H�=2���H�����H�+H���P	HB�H�u�L�M�L�E�H�}�H��I�l$@M�\$I�sPI;t$ ��I�t$I�sH��L�H�H��H�@�L�@�H��H�@�H�x�H��H�@�H�X�H��H�@�H�P�H�@ I1l$@t�	H�\$�H��1�1�H������H�+H���P	HB�H�]��C��9�{���/H�E�H�H�H�u�1�H9��H�M�H�L�H��H�E�H�H�H�]�H9��H�M�H�T�H�(����P�I���aHDP���Q��I�l$@M�\$I�sI;t$ ��I�t$I�sI1l$@t�	H�M�H�N�H�F I�l$@M�\$I�KI;L$ ��I�L$I�KI1l$@t�	H�A�H�]�H�YH�\$�H�� H�=J���H�K�H������H�+H���P	HB�H�\$�H��H�U�H�i����H�+H���P	HB�H�E�H�H�H�U�H9��*H�M�H�U�H�T�H�E�H�H�H�E�H9��H�u�H�\$�H��H�U�1�H�����H�+H���P	HB�H�u�H�E�H�T�H�U�H���]�H�\$�H��H�U�H�=���H������H�+H���P	HB�H�U������H�E� �����j ���Z���A���j ���_@���
���jP���^@���J����
*���
���
����
j���^@���'���j���Y���P����
���
��R�alloc_tramp�R�alloc_tramp�R�alloc_tramp�R�alloc_trampoR�alloc_tramp]�}��ZX~		�cDATA-VECTOR-SET####	�#####	g�h��cDATA-VECTOR-SET-WITH-OFFSET��####	g�h����####	�#####	�#####	�####	���####	g�h����####	g�h����c%SVSET���Z������#######	�#######	�########	�########	�#######	x##########!
	Z#########!		�########	�########	Z######	�#####	�#####	Z#####	x#####	\R	y�\	PSETF�������POR#######	PAND#######	\	\	��##0	8�MAKEPROPw�infovecZ�local�	�Integer	#�Zero	PQUOTE�Rep	�#�%eval#		�NonNegativeInteger	#�	#�#	�Boolean	#
P=	#�copy	"�List#	#�empty	�#�coerce	�PositiveInteger	#!�One	#%�	#+�elt	#1	#	#6	#;�empty?	/%,)#@�concat	#F�maxIndex	#K�delete!	2#Q�	construct	:#V�new	?�Equation#	#/	�Mapping###	�String	�
SingleInteger	-##	�Union#��failed			-##	\7	�~=#\�top#b�sample#g�reduce#k�push!"��pop!"��members"��member?"��map!"��map"��latex"��inspect"��insert!"��hash"��find"��extract!"��every?"��eval"��eq?"�"�"��depth"��count"�""�before?"�bag"�
arrayStack"�any?"
"""(\>	��makeByteWordVec2##############!
	7��
BagAggregate&�FiniteAggregate&�HomogeneousAggregate&�SetCategory&�
Aggregate&�	Evalable&�
BasicType&�InnerEvalable&\
	��StackAggregate#	�BagAggregate#	�FiniteAggregate#	�HomogeneousAggregate#	�ShallowlyMutableAggregate#	��	Aggregate	�
Functorial#	�#	��Type	�
InnerEvalable##	�#	\
	T#6##########
###
##
######
########################
################
###"##
####'##
###(##
####)##
###+##
####-###########*########1########1######1#########%#####################6######6#####2#############&###3#####5#4#######$####4#####################/######0################.#####!##########4############ ################,####4#############!�.	7777�lookupComplete78PGETw�DATABASE7����	
"�/%,)!#%2':)?+,.02378\7	_PFDEFINITION��DATABASE-TEMPLATE	7zx8vww7u_{��DATABASE-LOOKUP-FUNCTION	7~8vww7w�S	_{��DATABASE-CONSTRUCTORFORM	7��8vww7�domain_{��DATABASE-CONSTRUCTORKIND	7��8vww7w�	�Join_�	�CATEGORY��	SIGNATUREQV�					�	w		_{��DATABASE-CONSTRUCTORMODEMAP	7��8vww7	_{��DATABASE-COSIG	7��8vww7�	bags.spad	_{��DATABASE-SOURCEFILE	7��8vww7Q�*1��*2	��isDomain��*3		�
ofCategory��	��w�					_{��DATABASE-MODEMAPS	7��8vww7:	VV	�has��	PELT		;�V	#*�		<m�CONST		=�-���	V��	��	��V�	�	��V	�		>��V	#%�		?�##�		@�V	�		A	�V	��		BV-��	V	�		C�	D0V	���	�		E��		FV�V	#&�		G2V	��		H4�5	-	�	V	�		I�#$�		J	�V	�		KVV*�			�����		�	�	VV�	��	VV��	��	VV��	��		L��			V	#�		m#.�		MV	#!�		N�V	��	�V	�		VV	#�		�V	# ���	�		O�	P��		Q�#,�		R�	
#��		
#�		!	��_{��DATABASE-OPERATIONALIST	7$�8vww7:#\;#b<#g=#k>"�?"�@"�A"�B"�C"�D"�E"�F"�G"�H"�I"�J"�K"�L"�"�"�M"�N"�""O"P"Q"R"
"""(\>	_{��DATABASE-OPTABLE	7)'8vww7?m	:V�			2�V		/1	,��V		)V�V		%1	"	
			�	
	!
	_{��DATABASE-CAPSULE-DEFINITIONS	7@,8vww7�����		���%list��	x�				E�����		E	����		M	_{��DATABASE-PREDICATES	7RC8vww7�ASTACK_{��DATABASE-ABBREVIATION	7WU8vww7_�			_{��DATABASE-PARENTS	7^Z8vww7j	a�		����	����	��	���g	���		c�		k�		e�		p��	�hi	����	g�		\o	!
	_{��DATABASE-ANCESTORS	7xa8"ObZ�+,�Z�T�	\�f�V��3�[��\	�
��hI<"Y&�&�&C'n(�(�(�)�3�588�9>:�:	#"ObZ�t	0		~��~̏~�k~�V~�A~�#~�~��~��~��~��~̤~̑~�y~�Q?>@