build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-8dP7XZ/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 P* �% S h e l l �B O O T � A P P R U L E ; a p p l i s t # # �/ t m p / o a - 8 d P 7 X Z / c o d e . l s p o 0 8 � A P P R U L E ; s p l i t R u l e s # #0 8 � A P P R U L E ; a p p l y R u l e s ; L 2 F ; 3 # #0 8�% I n t e g e r S e c t i o n # � A P P R U L E ; a p p l y R u l e s ; L F P i F ; 4 # #0 8 � A P P R U L E ; l o c a l A p p l y # #0 8 � A P P R U L E ; r e w r i t e # #0 8 � A P P R U L E ; l o c a l U n q u o t e ; F L F ; 7 # #0 8/� A P P R U L E ; l o c a l U n q u o t e ; F L F ; 8 # #0 8� P U T 3� S P A D r e p l a c e � X L A M � f � l 9 8 � A P P R U L E ; i s i t w i t h p r e d # # 0 8 � A P P R U L E ; i s i t # # 0 8� A P P R U L E ; a p p # #0 8�S B - I M P L �J% D E F U N >L G<�B O O T T R A N �Lr e v e r s e ! <# "� #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 "� "� "� "� NO##$"� #$" #$"M \ T0 \ s 0 ��1 �EH���] H�e�H��H�C���J H�ӍG���C L�ǍA��< �y���2 H��H�U�L�E�H�u�I�L$`H�M�L�E�A� � f� I�x�H�\$�H��H�U�H�u�L�E�L�M�H����� H�+H���P HB�L�M�L�E�I�l$@M�\$I�KI;L$ �� I�L$I�KI1l$@t� H�Q�L�IL��M�@I�� tA�@���s���I��H�\$�H��H������ H�+H���P rH��R� � H��H��H)�H��H�S�H�{�H�s�H��H��u H�V�H���]ø ���� /��� /��� *�j� ��Y���G���TA B S O L U T E �alloc_tramp� \� R E T U R N - M U L T I P L E �� ^� l r u l e � a r g l i s t � $ PL I S T cP S I M P L E - V E C T O R PV A L U E S P &