build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-XFZt4F/code.lsp" using SBCL version 1.2.14.debian � X86-64N 1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)�S B - I M P L � % D E F P A R A M E T E R �B O O T �A b e l i a n M o n o i d ; A L # # �/ t m p / o a - X F Z t 4 F / c o d e . l s p o 0 8� % D E F U N �A b e l i a n M o n o i d ; > �A b e l i a n S e m i G r o u p <�d o m a i n �Z e r o �$ �c o n s t a n t �s a m p l e �z e r o ? �B o o l e a n P* �N o n N e g a t i v e I n t e g e r � o p p o s i t e ? � m k C a t e g o r y <�J o i n <� A b e l i a n M o n o i d # " #HTS T A N D A R D TM I N I M A L ##`\ TE X T E R N A L �S B - C �.T L - X E P q 0 #H"� " #Q*+#\ 10 \ 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�v H� ����H�L�H��H���]��� *�� ��9PF U N C T I O N PV A L U E S P S I M P L E - V E C T O R P & O P T I O N A L � S B - K E R N E L �@D A T A - V E C T O R - S E T #### PL E N G T H B�@ % C H E C K - B O U N D B�@D A T A - V E C T O R - S E T - W I T H - O F F S E T B�@% S V S E T B&#### ## #### ## '#### # \ PS E T F B\ \ � N# #0 8(>P <# "� #H*+##`\ -/( 10 #H"� "� #Q*+#\ (10 \ (60 ��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���� � *�X(:;= ##### P S Y M B O L - V A L U E ## \ #### \ ]\ PC O N D ]\ \ � e# #0 8PG E T (�D A T A B A S E 7�A b e l i a n M o n o i d & PF U N C A L L P F D E F I N I T I O N K�D A T A B A S E - L O O K U P - F U N C T I O N 7ki8g(h7)lmK�D A T A B A S E - C O N S T R U C T O R F O R M 7qp8g(h7�c a t e g o r y lmK�D A T A B A S E - C O N S T R U C T O R K I N D 7vt8g(h7)�C a t e g o r y ( lmK�D A T A B A S E - C O N S T R U C T O R M O D E M A P 7y8g(h7 lmK�D A T A B A S E - C O S I G 7��8g(h7' �C A T E G O R Y � S I G N A T U R E � � � � ! lmK� D A T A B A S E - C O N S T R U C T O R C A T E G O R Y 7��8g(h7� c a t d e f . s p a d lmK�D A T A B A S E - S O U R C E F I L E 7��8g(h7 �* 1 � � o f C a t e g o r y �) �� ��* 2 � PA N D ��i s D o m a i n � ���� ���� ���� � lmK�D A T A B A S E - M O D E M A P S 7��8g(h7�~ = !#PE L T #� #�C O N S T !#� �l a t e x �S t r i n g # � �h a s h � S i n g l e I n t e g e r # � �c o e r c e � O u t p u t F o r m # � �b e f o r e ? !#� #� P= !#� P+ #� �P o s i t i v e I n t e g e r #� #� ! lmK�D A T A B A S E - O P E R A T I O N A L I S T 7��8g(h7�A B E L M O N lmK�D A T A B A S E - A B B R E V I A T I O N 7��8g(h7� lmK�D A T A B A S E - P A R E N T S 7��8g(h7�� B a s i c T y p e � C o e r c i b l e T o � � S e t C a t e g o r y �T y p e lmK�D A T A B A S E - A N C E S T O R S 7��8"~aZ� + � & ~�I��y�L��7 � # "~aZ� t 0 �W �8 ?> @