build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-6G3Q0p/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 �% T h i n g �% S h e l l �% B o o l e a n �B O O T � A G G - ; e q ? ; 2 $ B ; 1 # # �/ t m p / o a - 6 G 3 Q 0 p / c o d e . l s p o 0 8� P U T � S P A D r e p l a c e � % p e q 8 � A G G - ; s a m p l e ; $ ; 2 # # 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 #^"� "� #g##$"� #$"� #`\ 0 \ s 0 � �1 �EH��u>H�e�H�ڍF�u�~��u�� *�I�L$`H�M�H9�� A�O ID�H���]��(� a � b � $ P S I M P L E - V E C T O R PV A L U E S PM E M B E R P &