build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-9QF3f1/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 P* �% S h e l l �% T h i n g �B O O T �A R R A Y 1 ; o n e D i m e n s i o n a l A r r a y ; L $ ; 1 # # �/ t m p / o a - 9 Q F 3 f 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 R R A Y 1 ; o n e D i m e n s i o n a l A r r a y ; N n i S $ ; 2 # #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�`��� /��� *�� ��� /��) �u �$ PL I S T P S I M P L E - V E C T O R PF U N C A L L ## PC D R 2PC A R 2� S B - K E R N E L �5% C O E R C E - C A L L A B L E - T O - F U N 2�5D A T A - V E C T O R - R E F ### PL E N G T H 8�5% C H E C K - B O U N D 8�5D A T A - V E C T O R - R E F - W I T H - O F F S E T 8PS V R E F 8\ � s h e l l E n t r y 8�S P A D C A L L 2\ \ � B# #0 8>D # "1 #^##`#,"� "� #,"� " #,"� "M \ !0 "� "� ": "� ##," "� #,"� "� #," "� \ !0 \ &0 � J1 �EH���� H�e�H��H�]�L��L�M�L��L�m��C�u �uN�{�uH1�H�ӹ ��L�m�L�M�H�]�|.A�E��� A�}���� I��L��L�U�L�M�L��L�E��� H��I�L$`H�M�I�H�� H9�veI�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�`��� *��� ��� /�TA B S O L U T E �S B - V M �M G E N E R I C - <