#!/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/c-doc.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 �c - u t i l 8#�#�#�#7 ��d a a s e 8#�#�#�PS E T P * P A C K A G E * �B O O T ,8�S B - C �% D E F C O N S T A N T �B O O T �$ c h e c k P r e n A l i s t PL I S T PC O N S �B O O T T R A N �c h a r �( 7�) 77�{ 7�} 77�[ 7�] 777# #�V/ 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 / c - d o c . c l i s p o 0 8�S B - I M P L �% D E F U N �b a t c h E x e c u t e > �G E N C O N �I N P U T �/ R F - 1 <# #f#DTS 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 #D"� #h#M$%#\ *0 \ s 0 �h1 �EH��u&H�e�I�L$`H�M�H�����H������ �u�` �2PF U N C T I O N P* ### \ \ � 9# #0 8�g e t D o c ><