build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-mrx8Yv/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 �% P a i r �% T h i n g �% S h e l l �B O O T �A N Y ; o b j ; $ N ; 1 # # �/ t m p / o a - m r x 8 Y v / c o d e . l s p o 0 8�P U T �S P A D r e p l a c e �% t a i l 8 � A N Y ; d o m ; $ S e ; 2 # #0 8�% h e a d 8 �% B o o l e a n �A N Y ; = ; 2 $ B ; 3 # #0 8 �A N Y ; c o e r c e ; $ O f ; 4 # #0 8 �A N Y ; a n y ; S e N $ ; 5 # #0 8�S B - I M P L �&% D E F U N >( # "� #HTS 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 #t"� "� #}()##$"� #`\ .0 \ s 0 � �1 �EH��uFH�e�H��H�� t8�A��u1H�эG�u���uH���� *��I�L$`H�M�H�SH���]��� B�6�x �$ PC O N S P S I M P L E - V E C T O R PV A L U E S P &