build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-i6PA11/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 B E L M O N - ; z e r o ? ; $ B ; 1 # # �/ t m p / o a - i 6 P A 1 1 / c o d e . l s p o 0 8�% I n t e g e r S e c t i o n # � A B E L M O N - ; * ; P i 2 $ ; 2 # # 0 8 � A B E L M O N - ; s a m p l e ; $ ; 3 # # 0 8# � A B E L M O N - ; * ; N n i 2 $ ; 4 # # 0 8 � A B E L M O N - ; o p p o s i t e ? ; 2 $ B ; 5 # # 0 8�S B - I M P L �'% D E F U N >) # "� #LTS 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 #l"� "� #u)*##$"� #$" \ /0 \ s 0 � �1 �EH���r H�e�H�ύA��b �y���X H��H�U�H�}�I�L$`H�M�H�E�H�H�H�U� H9��/ H�M�H�D�H�E�H�M��A��� H��H�P�H��H�l$H�l$� �%X H�U�H�E�H�H�H�U� H9��� H�M�H�\�H�]ЍC���� H��H�P�H��H�l$H�l$� �%X H��H�]�H�SH�\$�H��� H�+H���P�HB�H��H�E�H�pH�\$�H��H�U�H�Eع H�+H���P�rH��R� � H��H��H)�H��H�S�H�{�H�s�H��H��u H�V�H���]ø ���� *�� ��� /�� ��� /��TA B S O L U T E � R E T U R N - M U L T I P L E �� 9� x � $ P S I M P L E - V E C T O R PV A L U E S P &