build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-Zp7w1F/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 �% S h e l l �% L i s t �% P a i r �% T h i n g �B O O T � A N T I S Y M ; O n e ; $ ; 1 # # �/ t m p / o a - Z p 7 w 1 F / c o d e . l s p o 0 8 � A N T I S Y M ; c o e f f i c i e n t ; 2 $ R ; 2 # #0 8 �% B o o l e a n � A N T I S Y M ; r e t r a c t a b l e ? ; $ B ; 3 # #0 8�% S h o r t � A N T I S Y M ; r e t r a c t I f C a n ; $ U ; 4 # #0 8 � A N T I S Y M ; r e t r a c t ; $ R ; 5 # #0 8� A N T I S Y M ; h o m o g e n e o u s ? ; $ B ; 6 # #0 8�% I n t e g e r S e c t i o n # � A N T I S Y M ; d e g r e e ; $ N n i ; 7 # #0 8�% I n t e g e r 1 1 � A N T I S Y M ; z o # #0 8� P U T 5� S P A D r e p l a c e � X L A M � p � q � % w h e n � % i e q ;# � % l i s t #< ?<# A## � % o t h e r w i s e A# # 8 1 � A N T I S Y M ; g e t s g n # # 0 8L3 � A N T I S Y M ; N a l p h a # # 0 8 � A N T I S Y M ; * ; 3 $ ; 1 1 # #0 8 � A N T I S Y M ; c o e r c e ; R $ ; 1 2 # #0 81 � A N T I S Y M ; c o e r c e ; I $ ; 1 3 # # 0 8, � A N T I S Y M ; c h a r a c t e r i s t i c ; N n i ; 1 4 # #0 8, � A N T I S Y M ; g e n e r a t o r ; N n i $ ; 1 5 # #0 83 � A N T I S Y M ; e x p ; L $ ; 1 6 # #0 8 � A N T I S Y M ; l e a d i n g B a s i s T e r m ; 2 $ ; 1 7 # #0 8Y � A N T I S Y M ; d i s p l a y L i s t # #0 8L � A N T I S Y M ; m a k e T e r m # #0 8$� A N T I S Y M ; c o e r c e ; $ O f ; 2 0 # #0 8�S B - I M P L ��% D E F U N >� PO R PN U L L PC O N S � # "# #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 #h"� "* #q��##$"� \ �0 \ s 0 �w1 �EH���� H�e�H�ʍA��� �y���� H��H�U�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�E�H�H�H�U� H9��U H�M�H�T�H�{H�\$�H��H�ƹ H�+H���P�HB�H�U�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�+H���P�HB�H��I�l$@M�\$I�SI;T$ �� I�T$I�SI1l$@t� H�]�H�Z�H�JI�l$@M�\$I�KI;L$ �� I�L$I�KI1l$@t� H�Q�H�A H�Q�H�� t�B��t� �� H��H���]��� *�� ��� /��� ��� ��� /��j� ��Z���M���j� ��Y���r���TA B S O L U T E �alloc_tramph ��alloc_trampV �� $ P S I M P L E - V E C T O R PV A L U E S �P &