build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-Ex3IZU/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 �% L i s t �% T h i n g �% S h e l l �B O O T �A D D A S T ; b a s e ; $ S a ; 1 # # �/ t m p / o a - E x 3 I Z U / c o d e . l s p o 0 8 �A D D A S T ; b o d y ; $ S a ; 2 # #0 8 �A D D A S T ; c o e r c e ; $ O f ; 3 # #0 8�S B - I M P L �% D E F U N > # "� #OTS 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 "� "� "� "� ##," "� #," "M \ 0 \ s 0 � 1 �EH���� H�e�H��H�ύC���� H�ӍA��� �y���� H��L��L�E�H��H�u�I�L$`H�M�H�N�� H9�vcH�|�H�}�G��u\H��H�P�H��H�l$H�l$� �%X H��H�u�H�}�L�E�H�I��H�ù �u�`��� /��� *�� ��� /��'�x �$ PL I S T P S I M P L E - V E C T O R P* PF U N C A L L ## PC D R 1PC A R 1� S B - K E R N E L �4% C O E R C E - C A L L A B L E - T O - F U N 1�4D A T A - V E C T O R - R E F ### PL E N G T H 7�4% C H E C K - B O U N D 7�4D A T A - V E C T O R - R E F - W I T H - O F F S E T 7PS V R E F 7\ � s h e l l E n t r y 7�S P A D C A L L 1\ \ � A# #0 8>C # "� #O##`#$"� #$"� \ 0 "� "� "� "� ##," "� #," "M \ 0 \ $0 � 1 �EH���� H�e�H��H�ύC���� H�ӍA��� �y���� H��L��L�E�H��H�u�I�L$`H�M�H�N�� H9�vcH�|�H�}�G��u\H��H�P�H��H�l$H�l$� �%X H��H�u�H�}�L�E�H�I��H�ù �u�`��� /��� *�� ��� /��K*/0## 2L3L5L6### 8M9M:M;M\ =M>L\ \ � Q# #0 8>S <�b a s e <�b o d y �A d d A s t # "� #O##`#$"� #$"� \ 0 #}"� "� "� ##$"� #$" \ 0 \ $0 �01 �EH���� H�e�H��H�ύC���q H�ӍA��j �y���` H��H�U�H�}�I�L$`H�M�H�E�H�H�H�U�"