ABELSG.fasl

#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
  compiled from "/tmp/oa-0DenbB/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�
%DEFPARAMETER�BOOT�AbelianSemiGroup;AL##�/tmp/oa-0DenbB/code.lsp	o	0	8�%DEFUN�AbelianSemiGroup;>	�SetCategory<�domainP
+�
$			P
*�PositiveInteger						�
mkCategory<�Join<�AbelianSemiGroup	#"
#HTSTANDARDTMINIMAL#
#`\
	TEXTERNAL�SB-C� TL-XEP	q	0
	#H"�"
#Q#
\	#0
	\	s	0		�-
1�EH����H�e�I�L$`H�M�H�T$�H��H�_���1�H�*H���P	HB�L��L�E�H�\$�H��(H�A���H�=B���� H�>���H�C�H�C� H�3����
H�+H���P	HB�L�E�H��H�\$�H��I��H�����H�+H���P	HB�B�u+�z��u%H��H�J�1�H9�vH�
����H�L�
H��H���]���
*�
�
�
�
+PFUNCTIONPVALUESP
SIMPLE-VECTORP	&OPTIONAL		�	SB-KERNEL�2DATA-VECTOR-SET#
###
	PLENGTH4�2%CHECK-BOUND4�2DATA-VECTOR-SET-WITH-OFFSET4�2%SVSET4#
##
##
#		#
##
##
#
	#
##
##
	\	PSETF4\	\	�
@##
0	8>B<#"�#H##`\
	!	#0
	#H"�"�#Q#\	#0
	\	(0		��1�EH����H�e�I�L$`H�M�H������H�I���aHDH���Qt]H�� t	H��H���]�H�T$�H��H�j���1�H�*H���P	HB�B�u*�z��u$H�
?����A�I�D�x�aHD�H�P����
�
*�

J,-/		####
#	PSYMBOL-VALUE##	\	####
	\	O\	PCONDO\	\	�
W##0	8PGET�DATABASE7
�AbelianSemiGroup&
PFUNCALLPFDEFINITION=�DATABASE-LOOKUP-FUNCTION	7
][8YZ7

^_=�DATABASE-CONSTRUCTORFORM	7
cb8YZ7
�category
^_=�DATABASE-CONSTRUCTORKIND	7
hf8YZ7
�Category				
^_=�DATABASE-CONSTRUCTORMODEMAP	7
qk8YZ7
	
^_=�DATABASE-COSIG	7
vt8YZ7
		�CATEGORY
�	SIGNATURE
	|			
^_=�DATABASE-CONSTRUCTORCATEGORY	7
�y8YZ7
�catdef.spad	
^_=�DATABASE-SOURCEFILE	7
��8YZ7
�*1���	�
ofCategory�		���*2�	PAND��isDomain�				
^_=�DATABASE-MODEMAPS	7
��8YZ7
�~=�Boolean		#PELT		�latex�String		#�		�hash�
SingleInteger		#�		�coerce�
OutputForm		#
�		�before?#�		P
=#�		
#�		#�			�ȸ�ȵ
^_=�DATABASE-OPERATIONALIST	7
��8YZ7
�ABELSG
^_=�DATABASE-ABBREVIATION	7
��8YZ7
z		
^_=�DATABASE-PARENTS	7
��8YZ7
�	BasicType		�CoercibleTo�		��Type			
^_=�DATABASE-ANCESTORS	7
��8"}aZ�+�)�
!��:��4B�q	#"}aZ�t	0		
��I��*?>�@