build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-vqMjUM/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 T � A T R I G - ; a s e c ; 2 $ ; 1 # # �/ t m p / o a - v q M j U M / c o d e . l s p o 0 8� A T R I G - ; a c s c ; 2 $ ; 2 # # 0 8�S B - I M P L �% D E F U N > �a s e c : n o r e c i p r o c a l � e r r o r <# "� #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"� "� #u##$"� #$" \ 0 \ s 0 ��1 �EH���Q H�e�H�ύA��A �y���7 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�{H�\$�H��H�U� H�+H���P�HB�H��H�}؍G���� H��H�J�H��uH�����H������ �u�` H�E�H�H�H�U� H9�vtH�M�H�t�H�u��F��uiH��H�P�H��H�l$H�l$� �%X H��H�}�H�u�H�WH�~H�ù �u�`��� *�� ��� /��� /��� ��� /�$ � x � $ P S I M P L E - V E C T O R P* PF U N C A L L ##### PC D R -.###### PC A R -� S B - K E R N E L �1% C O E R C E - C A L L A B L E - T O - F U N -�1D A T A - V E C T O R - R E F ###### PL E N G T H 4�1% C H E C K - B O U N D 4�1D A T A - V E C T O R - R E F - W I T H - O F F S E T 4PS V R E F 4##### 0##### # PE Q L ##### ,#### # .=0=2=3#### ## 5>6>7>8>\, � s h e l l E n t r y 4� S P A D C A L L -PC O N D ### @>A=\ \ � F# # 0 8>H �a c s c : n o r e c i p r o c a l <# "� #L##`#$" #$"� \ 0 #l"� "� #u##$"� #$" \ 0 \ !0 ��1 �EH���Q H�e�H�ύA��A �y���7 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�{H�\$�H��H�U� H�+H���P�HB�H��H�}؍G���� H��H�J�H��uH�����H������ �u�` H�E�H�H�H�U� H9�vtH�M�H�t�H�u��F��uiH��H�P�H��H�l$H�l$� �%X H��H�}�H�u�H�WH�~H�ù �u�`��� *�� ��� /��� /��� ��� /�Q'+,##### .R.###### 0R2R3###### 5T6T7T8T##### 0##### # ;##### ,#### # .X0X2X3#### ## 5Y6Y7Y8Y\, @TARB### @YAX\ \ � ^# # 0 8� !A r c T r i g o n o m e t r i c F u n c t i o n C a t e g o r y &