build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-gvD1w8/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 �% P a i r �% S h o r t �B O O T �A L G S C ; r e c i p ; $ U ; 1 # # �/ t m p / o a - g v D 1 w 8 / c o d e . l s p o 0 8 �A L G S C ; * ; S m 2 $ ; 2 # #0 8�% V e c t o r P* �A L G S C ; c o e r c e ; V $ ; 3 # #0 8 �A L G S C ; s t r u c t u r a l C o n s t a n t s ; V ; 4 # #0 8 �A L G S C ; c o o r d i n a t e s ; $ V ; 5 # #0 8 �A L G S C ; c o o r d i n a t e s ; $ V V ; 6 # #0 8 �A L G S C ; b a s i s ; V ; 7 # #0 8.�A L G S C ; s o m e B a s i s ; V ; 8 # #0 8�% I n t e g e r S e c t i o n # �A L G S C ; r a n k ; P i ; 9 # #0 8�% I n t e g e r �A L G S C ; e l t ; $ I R ; 1 0 # # 0 8 �A L G S C ; c o e r c e ; $ O f ; 1 1 # # 0 8� A L G S C ; * ; 3 $ ; 1 2 # #0 8�% B o o l e a n �A L G S C ; a l t e r n a t i v e ? ; B ; 1 3 # #0 8I�A L G S C ; a s s o c i a t i v e ? ; B ; 1 4 # # 0 8I�A L G S C ; a n t i A s s o c i a t i v e ? ; B ; 1 5 # #0 8I�A L G S C ; c o m m u t a t i v e ? ; B ; 1 6 # #0 8I�A L G S C ; a n t i C o m m u t a t i v e ? ; B ; 1 7 # #0 8I�A L G S C ; l e f t A l t e r n a t i v e ? ; B ; 1 8 # #0 8I�A L G S C ; r i g h t A l t e r n a t i v e ? ; B ; 1 9 # #0 8I�A L G S C ; f l e x i b l e ? ; B ; 2 0 # #0 8I�A L G S C ; l i e A d m i s s i b l e ? ; B ; 2 1 # #0 8I�A L G S C ; j o r d a n A d m i s s i b l e ? ; B ; 2 2 # #0 8I�A L G S C ; j o r d a n A l g e b r a ? ; B ; 2 3 # #0 8I�A L G S C ; j a c o b i I d e n t i t y ? ; B ; 2 4 # #0 8�P U T "�% r e d e x �I L A M �$ �% t r e f q# 8n8oprsq# 8�S B - I M P L �x% D E F U N >z # "2 #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 #l"� "9 #uz{##$"� #$" \ �0 \ s 0 � I1 �EH���� H�e�H�ύA��� �y���� H��H�U�H�}�I�L$`H�M�H�E�H�H�H�U� H9��� H�M�H�\�H�]��C���� H��H�P�H��H�l$H�l$� �%X H��H�]�H�{H�\$�H��H�U� H�+H���P�rH��R� � H��H��H)�H��H�S�H�{�H�s�H��H��u H�V�H���]ø ���� *�� ��� /��TA B S O L U T E � R E T U R N - M U L T I P L E �, � �x q P S I M P L E - V E C T O R PV A L U E S PC O N S PF I X N U M P&