#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/x86_64-unknown-linux-gnu/bin/bootsys --script # FASL compiled from "/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/src/interp/astr.clisp" using SBCL version 1.2.14.debian � X86-64N 1.2.14.debian2 (:GENCGC :SB-PACKAGE-LOCKS :SB-THREAD :SB-UNICODE)PP R O C L A I M PO P T I M I Z E PS P E E D 8#� A x i o m C o r e �C O M P I L E - T I M E - P 7 ��i m p o r t M o d u l e �v m l i s p 8#�#�#�PS E T P * P A C K A G E * �B O O T ,8PP R O V I D E �a s t r 8�S B - C � % P R O C L A I M PF T Y P E PF U N C T I O N �% T h i n g �% S y m b o l �B O O T �n c T a g # #�U/ p r o j e c t s / 7 7 7 5 0 c 7 1 - e c 7 b - 4 9 6 2 - b f 5 5 - a 4 9 f f 5 0 6 5 f b 6 / o p e n - a x i o m - b u i l d / s r c / i n t e r p / a s t r . c l i s p o 0 8�% L i s t �n c A l i s t # #0 8 �n c E l t Q # #0 8 �n c P u t Q # #0 8�S B - I M P L �+% D E F U N >- �S 2 C B 0 0 3 1 �n c B u g <�i d e n t ? <# "� #ITS 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"� "� #U01##(" "� \ 60 \ s 0 ��1 �EH���i H�e�L��I�L$`H�M�I�� tA�@��tvH�\$�H��H�j���� L�E�H�b���� H�+H���P rH��R� � H��H��H)�H��H�S�H�{�H�s�H��L�E�H��u H�V�H���]ø ��I�H�L��I��H�\$�H��L�E�H������ H�+H���P HB�L�E�H�� tI��H��R� �I�� tA�@��tdH�\$�H��H������ L�E�H������ H�+H���P rH��R� � H��H��H)�H��H�S�H�{�H�s�H��L�E��)���I�P�H��R� �����TA B S O L U T E � R E T U R N - M U L T I P L E �� @�x PV A L U E S P &