build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-Zf8gW6/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 T � A R R A Y 1 2 ; m a p ; M O d a O d a ; 1 # # �/ t m p / o a - Z f 8 g W 6 / c o d e . l s p o 0 8 � A R R A Y 1 2 ; s c a n ; M O d a B O d a ; 2 # # 0 8� A R R A Y 1 2 ; r e d u c e ; M O d a 2 B ; 3 # # 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 #y"� "� "� ##," " #,"� "� #," "� \ 0 \ s 0 � 1 �EH���� H�e�H�A��� �y���� H��L��L�U�L��L�M�L��L�E�I�L$`H�M�I�H�� H9�vcI�t�H�u��F��u\H��H�P�H��H�l$H�l$� �%X H��L�E�H�u�L�U�L�M�H�vI��I��H�ù �u�`��� *�� ��� /�' � f � v � $ 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 # " #P##`#$"� #$"� #$" #$" \ 0 "� "� " "� ##,"� "� #," "M #,"� " #," "� \ 0 \ $0 � 1 �EH���� H�e�H��H�U��B��� �z���� H��L��L�m�L��L�U�L��L�M�L��L�E�I�L$`H�M�I�H�� H9�vpI�t�H�u��F��uiH��H�P�H��H�l$H�l$� �%X H��L�E�H�u�L�m�L�U�L�M�H�NI��I��I��H�M�H�ù �u�`��� *�� ��� /�K()� b * , . 0## 2P3P5P6### 8Q9Q:Q;Q\ =Q>P\ \ � U# # 0 8>W # " #P##`#$"� #$"� #$" #$" \ 0 "� "� " "� ##,"� "� #," "M #,"� " #," "� \ 0 \ $0 � 1 �EH���� H�e�H��H�U��B��� �z���� H��L��L�m�L��L�U�L��L�M�L��L�E�I�L$`H�M�I�H��"