build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-LhPhyD/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 �% V e c t o r �% T h i n g �% I n t e g e r S e c t i o n # �% S h e l l �B O O T � A S S O C E Q ; m a k e M a t r i x # # �/ t m p / o a - L h P h y D / c o d e . l s p o 0 8# �% P a i r � A S S O C E Q ; a s s o c i a t e d S y s t e m ; L P i R ; 2 # #0 8 � A S S O C E Q ; u n c o u p l i n g M a t r i c e s ; M V ; 3 # #0 8�% L i s t � A S S O C E Q ; m a k e e q # #0 8 � "A S S O C E Q ; a s s o c i a t e d E q u a t i o n s ; L P i R ; 5 # #0 8 � A S S O C E Q ; c o m p u t e I t # #0 8P* � A S S O C E Q ; m a k e o p # #0 8�S B - I M P L �8% D E F U N >: � S B - K E R N E L �: V E C T O R - T - P <PV E C T O R �8S E Q U E N C E - T O - L I S T <�B O O T T R A N �?r e v e r s e ! <�8V E C T O R - T O - L I S T * <# "� #XTS 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 "� "� " "� BC##$"� #$" #$"M \ H0 \ s 0 �U1 �EH���� H�e�H�U�L��L�E�H�u�H�\$�H��H�U�H�d���� H�+H���P L�E�H�� tOA�@�u�u<A�x�u51�I�й ��L�E�|#H�u؍F��E �~���; L�E�H�u��� H�� ��@I�L$`H�M�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�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�HB�H�E� H�U�H�E� � f� fD H�E�H�H�H�U�"