build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
compiled from "/tmp/oa-ygEgLV/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 s t r a c t S y n t a x C a t e g o r y ; A L # # �/ t m p / o a - y g E g L V / c o d e . l s p o 0 8� % D E F U N �A b s t r a c t S y n t a x C a t e g o r y ; > `G 5 4 0 �S y n t a x �p a i r L i s t <� S e t C a t e g o r y < � H o m o t o p i c T o <�J o i n <�s u b l i s V <�A b s t r a c t S y n t a x C a t e g o r y # "Y #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#\ 0
\ s 0 � k1 �EH��� H�e�I�L$`H�M�H�\$�H��H�O���H�=P���H�Q���� H�+H���P HB�H�U�H�T$�H��H�3���1�H�*H���P HB�H��H�u�H�\$�H��H����H����� H�+H���P HB�H�u�H��H�\$�H��H��H������ H�+H���P HB�H��H�\$�H��H�U�H������ H�+H���P HB�B�u+�z��u%H��H�J�1�H9�v H�
����H�L�H��H���]���
*��
��$PF 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 -�+ % C H E C K - B O U N D -�+D A T A - V E C T O R - S E T - W I T H - O F F S E T -�+% S V S E T -#### ### #### ### #### ## #### ## #### # \ PS E T F -\ \ � ;# #0 8>= <# "� #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����
�
*�E%&( ##### P S Y M B O L - V A L U E ## \ #### \ J\ PC O N D J\ \ � R# #0 8PG E T �D A T A B A S E 7�A b s t r a c t S y n t a x C a t e g o r y & PF U N C A L L P F D E F I N I T I O N 8�D A T A B A S E - L O O K U P - F U N C T I O N 7XV8TU7YZ8�D A T A B A S E - C O N S T R U C T O R F O R M 7^]8TU7�c a t e g o r y YZ8�D A T A B A S E - C O N S T R U C T O R K I N D 7ca8TU7�C a t e g o r y YZ8�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 7lf8TU7 YZ8�D A T A B A S E - C O S I G 7qo8TU7 YZ8� 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 7xt8TU7� s y n t a x . s p a d YZ8�D A T A B A S E - S O U R C E F I L E 7}{8TU7�~ = �B o o l e a n �$ � #PE L 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= #� �ȣ �Ƞ �� ɜ YZ8�D A T A B A S E - O P E R A T I O N A L I S T 7��8TU7�A S T C A T YZ8�D A T A B A S E - A B B R E V I A T I O N 7��8TU7u v YZ8�D A T A B A S E - P A R E N T S 7��8TU7� B a s i c T y p e �
C o e r c i b l e F r o m � C o e r c i b l e T o �� ���T y p e YZ8�D A T A B A S E - A N C E S T O R S 7��8"�eZ� + � / 3�<�
���o�G # "�eZ� t 0 ��D ��# ?>� @