build open-axiom
#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/interpsys --script # FASL compiled from "/tmp/oa-bMeuym/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 L G M A N I P ; r a t D e n o m ; 2 F ; 1 # # �/ t m p / o a - b M e u y m / c o d e . l s p o 0 8�% L i s t � A L G M A N I P ; r a t D e n o m ; F L F ; 2 # # 0 8 � A L G M A N I P ; r a t D e n o m ; 3 F ; 3 # # 0 8P* � A L G M A N I P ; r a t D e n o m ; F L F ; 4 # # 0 8 � A L G M A N I P ; a l g k e r n e l s # # 0 8#� A L G M A N I P ; r o o t k e r n e l s # # 0 8� A L G M A N I P ; r a t P o l y ; F S u p ; 7 # # 0 8� A L G M A N I P ; r o o t S p l i t ; 2 F ; 8 # # 0 8� A L G M A N I P ; r o o t E x p a n d # # 0 8� A L G M A N I P ; i n n e r R F # # 0 8�% I n t e g e r S e c t i o n # � A L G M A N I P ; r o o t K e r S i m p ; B o F N n i F ; 1 1 # # 0 89� A L G M A N I P ; r o o t K e r S i m p ; B o F N n i F ; 1 2 # # 0 8"�% P a i r � A L G M A N I P ; b r e a k u p # # 0 8� A L G M A N I P ; r o o t P r o d u c t ; 2 F ; 1 4 # # 0 8� A L G M A N I P ; r o o t P o w e r ; 2 F ; 1 5 # # 0 8� A L G M A N I P ; r a d e v a l # # 0 89� A L G M A N I P ; i n r o o t # # 0 8� A L G M A N I P ; s r o o t # # 0 8� A L G M A N I P ; r o o t S i m p ; 2 F ; 1 9 # # 0 8�S B - I M P L �Y% D E F U N >[ $<3<# "5 #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[\##$"� #$" \ a0 \ s 0 �L1 �EH���� H�e�H�ύA��� �y���� 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��H�}�H������ H�+H���P HB�H��H�U�H�u�H������ �u�` �� *�� ��� /��i � x � $ P S I M P L E - V E C T O R PF U N C A L L #### PC D R qPC A R q� S B - K E R N E L �t% C O E R C E - C A L L A B L E - T O - F U N q�tD A T A - V E C T O R - R E F ##### PL E N G T H w�t% C H E C K - B O U N D w�tD A T A - V E C T O R - R E F - W I T H - O F F S E T wPS V R E F w$### 3## \ � s h e l l E n t r y w� S P A D C A L L q\ \ � �# # 0 8Z>� $<3<# "� #O[\##`#$"� #$"� #$"� \ ^_ a0 "� "� "� "� [\##," " #,"� "M #," "� \ a0 \ f0 ��1 �EH���� H�e�H��H�G���� H�A�� �y��uyH��L��L�U�L��L�M�L��L�E�I�L$`H�M�H�\$�H��I��I��H�K���� H�+H���P HB�L�M�L�U�L�E�H��I��I��H�%���� �u�` �� /��� *��j� l k PL I S T m $### 3## \ \ � �# # 0 8Z>� <# "� #N[\##`#$" #$"� #$"� \ ^_ a0 #a"� "� #j[\##$" #$"� #$" \ a0 \ f0 ��1 �EH��uwH�e�L��L��H�A�ue�y��u_H��L��I�L$`H�M�I�l$@M�\$I�KI;L$ w@I�L$I�KI1l$@t� L�I�H�A I��H��I��H�C���� �u�` �� *�j� ��Y���TA B S O L U T E �alloc_tramp� �j� y k m �### PC O N S �## \ \ � �# # 0 8Z>� �B O O T T R A N �r e v e r s e ! <<# "� #R[\##`#$"� #$" #$"� \ ^_ a0 "� "� "� "� [\##$"� #$" #,"� "M \ a0 \ f0 ��1 �EH���� H�e�H��H��H�B���t H���A��m �y���c H��H�]�H�}�L��L�M�I�L$`H�M�H�u�A� �� �I�I��, H9��+ I�\�H�]ȍC��� H��H�P�H�u�L�E�H��H�l$H�l$� �%X H��H�]�L�E�H�u�L�M�H�V�H�{H�\$�H��H�u�L�Eй H�+H���P�HB�L�E�H�u�L�M�I�l$@M�\$I�KI;L$ �� I�L$I�KI1l$@t� H�Q�L�AL��H�NH��H�� t�F������I��H�\$�H��H�S���� H�+H���P HB�L�M�H��H�U�I��H�4���� �u�` �� /�� *�� ���� /��j� ��Y���\�����alloc_tramp� ���r###### p#########! r�s##########! s�u�v##########! x�y�z�{��######## �######## PN O T ####### PC O N S P ####### # ## \ �\ ���PR E T U R N ####### PC O N D ##### PL O O P #### \ \ � �# # 0 8Z$>� � A L G M A N I P ; a l g k e r n e l s ! 0 <# "� #O[\##`#$"� #$"� \ ^_$ a0 "� "� "� "� [\##$"� #,"� " \ $a0 \ $f0 ��1 �EH���J H�e�H��H�ύC���7 H�ӍA��0 �y���& H��H�U�L��L�M�I�L$`H�M�I�I��: H9�� I�\�H�]��C���� H��H�P�H��H�l$H�l$� �%X L��H�]�L�M�H����H�P���� I�l$@M�\$I�KI;L$ �� I�L$I�KI1l$@t� H�Q�L�IH�sH�\$�H��H��H�}�I��� H�+H���P�rH��R� � H��H��H)�H��H�S�H�{�H�s�H��L�M�H��u H�V�H���]ø ���� /��� *�� ���� /��� j� ��Y���M�����alloc_tramp� �� R E T U R N - M U L T I P L E �� �$�k �m PV A L U E S P &