build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-g02l2H/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 N Y 1 ; c o e r c e ; S A ; 1 # # �/ t m p / o a - g 0 2 l 2 H / c o d e . l s p o 0 8�% B o o l e a n � A N Y 1 ; r e t r a c t a b l e ? ; A B ; 2 # # 0 8�% P a i r �% S h o r t � A N Y 1 ; r e t r a c t I f C a n ; A U ; 3 # # 0 8� A N Y 1 ; r e t r a c t ; A S ; 4 # # 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 #o"� "� #x !##$"� #," "� \ &0 \ s 0 � �1 �EH���8 H�e�H�ύA��( �y��� H��H�U�L��L�E�I�L$`H�M�I�H�� H9��� I�D�H�E�H�M�A���� H��H�P�H��H�l$H�l$� �%X H�U�L�E�I�H�� H9��� I�D�H�E�I�H�� H9��� I�\�H�]ȍC���� H��H�P�H��H�l$H�l$� �%X H��L�E�H�]�H�{H�\$�H��H�U� H�+H���P�HB�L�E�H��H�E�H�pH�U�H�E� �u�`��� *�� ��� /�� ��� ��� /��. � s � $ P S I M P L E - V E C T O R P* PC D R ## PF U N C A L L ### 69PC A R 9� S B - K E R N E L �;% C O E R C E - C A L L A B L E - T O - F U N 9�;D A T A - V E C T O R - R E F #### PL E N G T H >�;% C H E C K - B O U N D >�;D A T A - V E C T O R - R E F - W I T H - O F F S E T >=### ?B@BAB87PS V R E F BC>:7<7=### ?D@DADCD\. � s h e l l E n t r y BF>� S P A D C A L L 9FDG7\ \ � J# # 0 8>L � d e v a l u a t e <PE Q U A L <# "� #L !##`#$" #$"� \ #$ &0 #n"� "� #w !##," "� #," " \ &0 \ +0 ��1 �EH���� H�e�H�ύA��� �y��uzH��L��L�E�H��H�u�I�L$`H�M�H�N�� H9�vWH�T�H�\$�H��H�V���� H�+H���P HB�H�u�L�E�A�@��u)I��H�x�H�.���� �u�` �� *�� ��� /�V� a 0 3PV A L U E S PM E M B E R P &