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-i6PA11/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	�%Boolean	�BOOT�
ABELMON-;zero?;$B;1	##�/tmp/oa-i6PA11/code.lsp	o	0	8�%IntegerSection#			�
ABELMON-;*;Pi2$;2	##
0	8		�
ABELMON-;sample;$;3	##
0	8#			�
ABELMON-;*;Nni2$;4	##
0	8		�
ABELMON-;opposite?;2$B;5	##
0	8�SB-IMPL�'%DEFUN>)#"�#LTSTANDARDTMINIMAL##`#$"#$"�\	TEXTERNAL�TL-XEP	q	0
	#l"�"�#u)*##$"�#$"
\	/0
	\	s	0		��1�EH���rH�e�H�ύA��b�y���XH��H�U�H�}�I�L$`H�M�H�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�H9���H�M�H�\�H�]ЍC����H��H�P�H��H�l$H�l$��%X H��H�]�H�SH�\$�H���H�+H���P�HB�H��H�E�H�pH�\$�H��H�U�H�EعH�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��
���
/��TABSOLUTE�RETURN-MULTIPLE��9�
x�
$	P
SIMPLE-VECTOR	PVALUESP	&OPTIONALPMEMBER	P&REST		PCDR##	PFUNCALL###	FIPCARI�	SB-KERNEL�K%COERCE-CALLABLE-TO-FUNI�KDATA-VECTOR-REFIPLENGTHI�K%CHECK-BOUNDI�KDATA-VECTOR-REF-WITH-OFFSETIHGPSVREFIJGLGM###	NRORPRQR\$	�
SPADCALLI�
spadConstantI�

shellEntryRTG\	\	�Y##
0	8(>[PINTEGER#	#"7#^)*##`#,"�"�#,"�"
#,"�"M\
	,-	/0
	"�"�"@"�)*##,""�#,"�"�#,""�\		/0
	\	40		�P1�EH����H�e�H��H�]�L��L�M�L��L�m��C�u
�uQ�{�uK�H�ӹ��L�m�L�M�H�]�|.A�E���A�}����I��L��L�U�L�M�L��L�E��
�
	���I�L$`H�M�I�H��H9�veI�t�H�u�F��u^H��H�P�H��H�l$H�l$��%X H��L�E�H�u�L�U�L�M�H�vI��I��H�ù�u�`���
*���
���
/�7�SB-VM�e	GENERIC-<�xg�
n:;	\=	P*	H##	FmJmLmM###	NnOnPnQn\	VnTm\	\	�r##
0	8(>t#"�#L)*##`#$"�\	,-	/0
	#c"�"�#l)*##,""
\	/0
	\	40		��1�EH����H�e�H�ʍA�uw�y��uqH��H��H�u�I�L$`H�M�H�N��H9�vUH�|�H�}��G��uNH��H�P�H��H�l$H�l$��%X H��H�u�H�}�H�WH�ù�u�`���
*��
���
/��|;	=	k	H##	F�J�L�M�N�O�P�Q�\	T�U�\	\	��##
0	8(>�#"�#^)*##`#,"�"�#,""
#,"�"M\
	,-	/0
	"�"�"�"�)*##$"�#$"
#,""�\	/0
	\	40		��1�EH���NH�e�H��H�]�L��L�E�L��L�M��C�u
�uK�{�uE1�H�ӹ��L�M�L�E�H�]�|+A�A��A�y����I��H�]�L�E�L��L�E���
H��I�L$`H�M�H�}�udI�H��H9���I�t�H�u��F����H��H�P�H��H�l$H�l$��%X H��L�E�H�u�H�VH�ù�u�`�I�H��$H9�voI�t�H�u��F��uhH��H�P�H��H�l$H�l$��%X H��L�E�H�u�H�vH�U�H�}�H�ù�u�`���
*���
���
/��
���
/�7f�u�iP
UNSIGNED-BYTE=	k	H####	F�J�L�M#####	N�O�P�Q�H####	F�J�L�M�N�O�P�Q�PZEROP####	P=�\(	V�T�T�U�PCOND##	\
	\	��##
0	8($>�#"�#L)*#	#`#$"#$"�#$"�\	,-$	/0
	#p"�"�#y)*#	#$"�#$"
#$"M\	$/0
	\	$40		��1�EH���wH�e�H�΍A��g�y���]H��H�U�H�}�H�u�I�L$`H�M�H�E�H�H�H�U�*H9��0H�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�(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�HB�H�E�H�xH�\$�H��H�EйH�+H���P�rH��R�� H��H��H)�H��H�S�H�{�H�s�H��H��u
H�V�H���]ø����
*��
���
/��
���
/��78���$:�
y;	=	D	F#	#	H#	##	F�J�L�M#	###	N�O�P�H�Q�J�L�M#	##	N�O�P�Q�\$	V�T�V�T�\	\	��##	
0	8(�
AbelianMonoid&>��
	devaluate<��
newShell<�
buildPredVector<�
stuffDomainSlots<�
Ring	�
HasCategory<<#"Y#I)*#
#`#$"\	,-�	/0
	#M"�"[#V)*#
#$"�\	�/0
	\	�40		��1�EH���H�e�H�U�I�L$`H�M�H�\$�H��H�U�H�V����H�+H���P	HB�H��H�5B���I�l$@M�\$I�S I;T$ ��I�T$I�SH��H�p�H��H�@�H�X�H�@ I1l$@t�	H�U�H�\$�H���.H������H�+H���P	HB�H��H�]�L�D$�H��1�1�� H������I�(I���P	HB�H�]��C��5�{���+H��H�K�1�H9�� H�M�H�L�H��H�K��H9��H�T�H�t$�H��H��H�V����H�.H���P	HB�H�]�H�K��H9���H�U�H�T�H�t$�H��H�U�H�=���H�����H�.H���P	HB�H�]�H�� u[H�K��&H9���H�����H�p@���~I�l$@M�\$I�KI;L$ wnI�L$I�KI1l$@t�	H�q�H�YH�L�H��H���]��j ���Z���;����
*���
����
����
����
�����
j���Y���7�alloc_tramp�7�alloc_tramp^���
#1		?=@		�KDATA-VECTOR-SET#
#####	#
#######	PCONS#
######	N�O��KDATA-VECTOR-SET-WITH-OFFSET��K%SVSET��#
#####	�#
###	N�O����#
###	�#
###	N�O����#
###	N�O����������#
####	�#
####	PLIST#
####	�#
####	\8	PSETF��������#
###	\
	\	��##

0	8�
MAKEPROP��
infovec��
local�	#�
Zero	�
Boolean	#�	�
NonNegativeInteger	#
k	�
PositiveInteger	�
	%constant;		#�
zero?	�
RepeatedDoubling#	#�double	#k	#!P+	#'�	$\	�#,�
sample#1�
	opposite?#5k#;\	��
makeByteWordVec2#7�\	�\	###########	###############
########################
####################
##!G	7777�
lookupComplete78PGET��
DATABASE7��������������$\	HPFDEFINITION��
DATABASE-TEMPLATE	7	8�7H��
DATABASE-LOOKUP-FUNCTION	78�7��
S	H��
DATABASE-CONSTRUCTORFORM	78�7�
packageH��
DATABASE-CONSTRUCTORKIND	78�7��	�
CATEGORY�
	SIGNATURE���		!k���		!���		!���
constant	!k���			�

AbelianMonoid		�		H��
DATABASE-CONSTRUCTORMODEMAP	728�7	H��
DATABASE-COSIG	7758�7�catdef.spad	H��
DATABASE-SOURCEFILE	7<:8�7��;	#
PELT		�}#�
CONST		�;;	#A		k;�;	#A	;�;	#A			H��
DATABASE-OPERATIONALIST	7P?8�7�#,�#1#5k#;\	H��
DATABASE-OPTABLE	7US8�7$G	L	}	J	@		H��
DATABASE-CAPSULE-DEFINITIONS	7_X8�7�
ABELMON-H��
DATABASE-ABBREVIATION	7db8"~aZ�+�S�o�5��I��<
�Q�
�k�
Z	#"~aZ�
t	0		j��j̦j̍j�{j�dj�6?>k@