build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-ErLxe0/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 �% S h e l l �B O O T �A L G F A C T ; a l l k # # �/ t m p / o a - E r L x e 0 / c o d e . l s p o 0 8 �A L G F A C T ; l i f t p o l y # #0 8�A L G F A C T ; d o w n p o l y # #0 8 �A L G F A C T ; i f a c t o r # #0 8�A L G F A C T ; f a c t o r ; U P F ; 5 # #0 8�A L G F A C T ; f a c t o r ; U P L F ; 6 # #0 8�A L G F A C T ; s p l i t ; U P F ; 7 # #0 8�% I n t e g e r �A L G F A C T ; e x t e n d # #0 8�% B o o l e a n �A L G F A C T ; d o u b l y T r a n s i t i v e ? ; U P B ; 9 # #0 8.�A L G F A C T ; i r r e d ? # # 0 8�A L G F A C T ; f a c t # # 0 8�S B - I M P L �8% D E F U N >: �B O O T T R A N �:r e v e r s e ! <# "� #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 #z"� "� "� <=##$"� #$" \ B0 \ s 0 �-1 �EH���� H�e�H�ύB���� H��A��� �y���{ H��H�u�H�}�I�L$`H�M�H�E�H�H�H�U� H9��R H�M�H�L�H�M��A���C H�Q�H��H�l$H�l$� �%X H�U�H�E�H�H�H�U� H9�� H�M�H�L�H�M؍A���� H�Q�H��H�l$H�l$� �%X H�U�H�u�A� �� fD H�E�H�H�H�U� H9��� H�M�H�\�H�]��C���� H��H�P�H�u�L�E�H��H�l$H�l$� �%X H��H�]�L�E�H�u�H�V�H�{H�\$�H��H�u�L�E�� H�+H���P�HB�L�E�H�u�I�l$@M�\$I�KI;L$ �% I�L$I�KI1l$@t� H�Q�L�AL��H�NH��H�� t�F������I��H�\$�H��H������ H�+H���P HB�H�E�H�xH�\$�H��H�Eȹ H�+H���P�HB�H�E�H�xH�\$�H��H�Eй H�+H���P�rH��R� � H��H��H)�H��H�S�H�{�H�s�H��H��u H�V�H���]ø ���� /�� *�� ��� /�� ��� /�� ��� /��j� ��Y�������TA B S O L U T E �alloc_tramp J� R E T U R N - M U L T I P L E �� L�l �$ PL I S T P S I M P L E - V E C T O R PV A L U E S P &