build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-WeVqSy/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 - I M P L � % D E F P A R A M E T E R �B O O T �#A l g e b r a i c a l l y C l o s e d F u n c t i o n S p a c e ; A L # # �/ t m p / o a - W e V q S y / c o d e . l s p o 0 8� % D E F U N �!A l g e b r a i c a l l y C l o s e d F u n c t i o n S p a c e ; > � d e v a l u a t e <�t # 1 �p a i r L i s t <� A l g e b r a i c a l l y C l o s e d F u n c t i o n S p a c e �D A T A B A S E � G E T 3 <l m \ ### - �A l g e b r a i c a l l y C l o s e d F i e l d < � F u n c t i o n S p a c e <�d o m a i n �r o o t O f �$ �r o o t s O f �L i s t �S y m b o l # �z e r o O f �z e r o s O f *$ -' # � m k C a t e g o r y <�J o i n <�s u b l i s V <# "K #ITS T A N D A R D TM I N I M A L ##`#$" \ TE X T E R N A L �S B - C �=T L - X E P q 0 #M"� "M #V9:##$"M \ @0 \ s 0 ��1 �EH��� H�e�H�U�I�L$`H�M�H�\$�H��H�U�H����� H�+H���P HB�I�l$@M�\$I�KI;L$ �� I�L$I�KI1l$@t� H�Q�H�A H�\$�H��H�����H��H������ H�+H���P HB�H�U�H�\$�H��H�����H�=����� H������ H�+H���P H�U�H�M؍A��� H�E�H�HH; z����� H�E�H��� H�� �� H�T$�H��H�T���1�H�*H���P HB�H�U�H�\$�H��H�9���H�:���� H�+H���P HB�L��L�E�H�\$�H��(H����H�=���� H����H�C�H�C� H����� H�+H���P HB�L�E�H��H�\$�H��H�U�I��H������ H�+H���P HB�H��H�E�H��� H�\$�H��H�U�H������ H�+H���P HB�H��H�}؍G��� ����� L��L�M�H�O�M1�L9��� L�E�H�\$�H��H�U�H������ H�+H���P HB�H�}�L�M�L�E�H��H�5����I�l$@M�\$I�S I;T$ �� I�T$I�SH��H�p�H��H�@�H�X�H�@ I1l$@t� K�T�H��H���]�H������H�Q-H��~H�A%H�HH; u��������� ��� �j� ��Y���?���� *��� ����j � ��Z���e���TA B S O L U T E �alloc_trampt H�alloc_trampP IPF U N C T I O N PV A L U E S P S I M P L E - V E C T O R P &