build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-kmNznj/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 - C � % P R O C L A I M PF T Y P E PF U N C T I O N � A x i o m C o r e �% S h e l l �% S h o r t �B O O T � A R I T Y ; a r b i t r a r y ; $ ; 1 # # �/ t m p / o a - k m N z n j / c o d e . l s p o 0 8� P U T � S P A D r e p l a c e � X L A M #� 8 �% B o o l e a n � A R I T Y ; z e r o ? ; $ B ; 2 # # 0 8� a � % i e q # 8� A R I T Y ; o n e ? ; $ B ; 3 # # 0 8# 8 � A R I T Y ; h a s h ; $ S i ; 4 # # 0 8$� % h a s h 8 � A R I T Y ; = ; 2 $ B ; 5 # # 0 8*8�% T h i n g � A R I T Y ; c o e r c e ; $ O f ; 6 # # 0 8�% I n t e g e r S e c t i o n # � A R I T Y ; c o e r c e ; N n i $ ; 7 # # 0 8�% P a i r - � A R I T Y ; r e t r a c t I f C a n ; $ U ; 8 # # 0 8�S B - I M P L �?% D E F U N >A # #q#ETS T A N D A R D TM I N I M A L # #`#$" \ TE X T E R N A L � T L - X E P q 0 #["� #s#dAB# #`\ G0 \ s 0 � s1 �EH��u0H�e��B�u�z��u�� *�I�L$`H�M�H������H���]��O � $ P S I M P L E - V E C T O R PV A L U E S PI N T E G E R #�#� P &