build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-QIBFXv/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 l e a n �B O O T � A F ; b e l o n g ? ; B o B ; 1 # # �/ t m p / o a - Q I B F X v / c o d e . l s p o 0 8�% L i s t P* � A F ; d a l g # # 0 8 � A F ; r o o t O f ; S u p S F ; 3 # # 0 8 � A F ; d v a l g # # 0 8� A F ; i a l g # # 0 8 � A F ; o p e r a t o r ; 2 B o ; 6 # # 0 8� A F ; i n r o o t o f ; S u p 2 F ; 7 # # 0 8�% P a i r �% S h o r t � A F ; U P 2 R # # 0 8� A F ; i n r o o t o f ; S u p 2 F ; 9 # # 0 8� A F ; l z e r o # # 0 8� A F ; d r o o t ; L O f ; 1 1 # # 0 8� A F ; d v r o o t # # 0 8� A F ; * * ; F F F ; 1 3 # # 0 8�% I n t e g e r � A F ; h a c k r o o t # # 0 8� A F ; i n r o o t # # 0 8B � A F ; i n r o o t 0 # # 0 8D� A F ; i r o o t ; R I F ; 1 7 # # 0 8D� A F ; i r o o t ; R I F ; 1 8 # # 0 8D� A F ; i r o o t ; R I F ; 1 9 # # 0 8D� A F ; i r o o t ; R I F ; 2 0 # # 0 8D� A F ; i r o o t 0 # # 0 8%� A F ; d e f i n i n g P o l y n o m i a l ; 2 F ; 2 2 # # 0 8%� A F ; m i n P o l y ; K S u p ; 2 3 # # 0 8� A F ; d r o o t ; L O f ; 2 4 # # 0 8%� A F ; m i n P o l y ; K S u p ; 2 5 # # 0 8�S B - I M P L �k% D E F U N >m � % a l g # "9 #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"� "@ #uno##$"� #$" \ t0 \ s 0 �P1 �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�sH�\$�H��H�U�H�= ���� 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 �3 ~� o p � $ P S I M P L E - V E C T O R PV A L U E S P &