build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script
# FASL
compiled from "/tmp/oa-ELbB7c/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 r c H y p e r b o l i c F u n c t i o n C a t e g o r y ; A L # # �/ t m p / o a - E L b B 7 c / c o d e . l s p o 0 8� % D E F U N � A r c H y p e r b o l i c F u n c t i o n C a t e g o r y ; > �d o m a i n �a c o s h �$ �a c o t h �a c s c h �a s e c h �a s i n h �a t a n h �
m k C a t e g o r y <�J o i n <� A r c H y p e r b o l i c F u n c t i o n C a t e g o r 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 ��1
�EH���� H�e�I�L$`H�M�H�\$�H��(H�o���H�=p���� H�C� H�C� H�\����
H�+H���P HB�H�\$�H��H�B���� H�+H���P HB�B�u+�z��u%H��H�J�1�H9�v H�
���H�L�H��H���]���
*��
��2PF 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 �9D A T A - V E C T O R - S E T #### PL E N G T H ;�9 % C H E C K - B O U N D ;�9D A T A - V E C T O R - S E T - W I T H - O F F S E T ;�9% S V S E T ; #### ## #### # \ PS E T F ;\ \ � F# #0 8!>H <# "� #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����
�
*�P!346 ##### P S Y M B O L - V A L U E ## \ #### \ U\ PC O N D U\ \ � ]# #0 8PG E T !�D A T A B A S E 7PF U N C A L L P F D E F I N I T I O N C�D A T A B A S E - L O O K U P - F U N C T I O N 7ba8_!`7"cdC�D A T A B A S E - C O N S T R U C T O R F O R M 7hg8_!`7�c a t e g o r y cdC�D A T A B A S E - C O N S T R U C T O R K I N D 7mk8_!`7"�C a t e g o r y ! cdC�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 7vp8_!`7 cdC�D A T A B A S E - C O S I G 7{y8_!`7 �C A T E G O R Y � S I G N A T U R E
� � � � � cdC� 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�~8_!`7� t r i g c a t . s p a d cdC�D A T A B A S E - S O U R C E F I L E 7��8_!`7�* 1 �� �
o f C a t e g o r y �" �� �� �� ��
�� cdC�D A T A B A S E - M O D E M A P S 7��8_!`7 # PE L T #
� # � #� #�
#� cdC�D A T A B A S E - O P E R A T I O N A L I S T 7��8_!`7�A H Y P cdC�D A T A B A S E - A B B R E V I A T I O N 7��8"�aZ� +
� 6 ��!��'_�D N
# "�aZ� t 0 ��O ��1 ?>� @