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-hQUsIh/code.lsp"
  using SBCL version 1.2.14.debian
�X86-64N
1.2.14.debian2(:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�SB-IMPL�%DEFUN�BOOT�TwoDimensionalArray>�	devaluate<�$ConstructorCache�GETHASH3<�domainEqualList<�lassocShiftWithFunction<�TwoDimensionalArray;<�CDRwithIncrement<PREMHASH<#"#ITSTANDARDTMINIMAL##`#$"\	TEXTERNAL�SB-C�TL-XEP	q	0
	#M"�"
#V
##$"
\	0
	"�"�"*"�+�	
#\	TCLEANUPPFLET`
CLEANUP-FUN-1TIN	0
	\	s	0	�!	�	/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���~����
�
�
TABSOLUTE�alloc_tramp#�UNWIND��%�#1	PFUNCTION	P*	PSYMBOL-VALUE########	-PNOT########		#######	�%CLEANUP-POINT#####	�%UNWIND-PROTECT2�%ALLOCATE-CLOSURES2
#####	PLIST######	PGETHASH######	######	,99#######	PCONS7#####	�%CONTINUE-UNWIND2�%UNKNOWN-VALUES2\$	-/#######	9\	�	AxiomCore�CtableRemove!-PCOND######	PPROG1######	PMULTIPLE-VALUE-BIND2E###	�C
tableValue9\	\	�N##�/tmp/oa-hQUsIh/code.lsp	o	0	8	>R<�newShell<�SetCategory	�HasCategory<�Evalable�	BasicType	�CoercibleTo�
OutputForm		�buildPredVector<�haddProp<�stuffDomainSlots<#"#I
##`#$"\			0
	#M"�"#V
##$"
\		0
	\		 0		��1�EH����H�e�H�U�I�L$`H�M�H�\$�H��H�U�H�6����H�+H���P	HB�H�U�H�5!���H�]�I�l$@M�\$I�S I;T$ �cI�T$I�SH��H�p�H��H�@�H�X�H�@ I1l$@t�	H�U�H�\$�H���*H������H�+H���P	HB�H�U�H�\$�H��H�U�H�=����H������H�+H���P	HB�H�� ��H�\$�H��H�U�H�R����H�+H���P	HB�H�a���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�=~���H�_����H�+H���P	HB�H��H�u�H�\$�H��H�U�H�=B���H�+����H�+H���P	HB�H�u�L�M�L�E�H�}�H��I�l$@M�\$I�sPI;t$ �YI�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����{����H�E�H�H�H�u�1�H9���H�M�H�L�H��H�E�H�H�H�]�H9���H�M�H�T�H�8����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$ �TI�L$I�KI1l$@t�	H�A�H�]�H�YH�\$�H�� H�=Z���H�K�H������H�+H���P	HB�H�\$�H��H�U�H�y����H�+H���P	HB�H�E�H�H�H�U�H9���H�M�H�U�H�T�H�U�H���]�H�\$�H��H�U�H�=����H������H�+H���P	HB�H�U��N���H�E� ������j ���Z������j ���_@���]���jP���^@�������
*���
���
����
j���^@���z���j���Y�������
��#�alloc_tramps#�alloc_tramp`#�alloc_tramp/#�alloc_tramp#�alloc_tramp
h	'()PVALUESP
SIMPLE-VECTORP	&OPTIONAL		�	SB-KERNEL�nDATA-VECTOR-SET####	PLENGTHp�n%CHECK-BOUNDp�nDATA-VECTOR-SET-WITH-OFFSETp_####	<#####	<#####	,####	^wo####	qxrxsxo####	qyrysy�n%SVSETyzx6vzpU#######	U#######	U########	U########	U#######	##########!
	6#########!		U########	U########	6######	]#####	R#####	6#####	#####	\F	w\	PSETFy�x�pPOR#######	PAND#######	\
	\	��##OP0	8�MAKEPROP�infovec6�InnerTwoDimensionalArray###	�local&	�List#	�Equation#	�#	�Boolean	�Mapping###	�NonNegativeInteger	[�
SingleInteger	�String	�Integer	�OneDimensionalArray#	�##	�Union#PQUOTE�failed			�#
#	\	\	<�makeByteWordVec2#############!	7<�TwoDimensionalArrayCategory&�FiniteAggregate&�HomogeneousAggregate&�SetCategory&�
Aggregate&�	Evalable&�
BasicType&�InnerEvalable&\	<�TwoDimensionalArrayCategory#��	�FiniteAggregate#	�HomogeneousAggregate#	�ShallowlyMutableAggregate#	T�	Aggregate	�
Functorial#	V#	X�Type	�
InnerEvalable##	Y#
	\	�"��������7777�lookupIncomplete78PGET�DATABASE7��������[�������\	PFUNCALLPFDEFINITION��DATABASE-TEMPLATE	7��8��7�����DATABASE-LOOKUP-FUNCTION	7��8��7�R	����DATABASE-CONSTRUCTORFORM	7��8��7�domain����DATABASE-CONSTRUCTORKIND	7��8��7&	�&�&	�	�			����DATABASE-CONSTRUCTORMODEMAP	7��8��7	����DATABASE-COSIG	7��8��7�array2.spad	����DATABASE-SOURCEFILE	7��8��7�~=��$	�has&X	PELT		�setelt&��&			�setRow!��			�
setColumn!	�sample	�CONST		�row��			�reduce&�&&&			&&		&&&			�qsetelt!	�qelt&��			�nrows�			�new��&			�ncols.	�minRowIndex�			�minColIndex8	�members�&				�member?�&			�maxRowIndex8	�maxColIndex8	�map!�&&				�mapL		&			�latex�	&T			�hash�	V		�find�&�	��&				�fill!&			�BOOTTRAN�gevery?�_			�eval��&			�&V&		V		m	r	&&	r	==	r		�eq?		�empty?�			�empty		�elt*	�count�_		�&			�copy			�column	�coerce[	&\			�before?	�gany?j	P=	�#.	!&	ȃ����DATABASE-OPERATIONALIST	7�8��7\	����DATABASE-OPTABLE	7��8��7�U&�T		U&�%list�V	&				��U&�X		�	U&�\		�	����DATABASE-PREDICATES	7��8��7�ARRAY2����DATABASE-ABBREVIATION	7��8��7����	�			����DATABASE-PARENTS	7��8��7�	X�X	\�\	V�	���	�T		��		��		��		���	���	T�T	��		��	!	����DATABASE-ANCESTORS	7��8"ObZ�+��Y���X��:�g2  ^!	#"ObZ�Ot	0		��g��"?>�@