#!/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/br-search.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 �b c - u t i l 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 a r U n d e r s c o r e �B O O T T R A N �c h a r � _ 7# #�Z/ 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 / b r - s e a r c h . c l i s p o 0 8�S B - I M P L �% D E F U N � g r e p C o n s t r u c t > � l i b d b . t e x t � f n a m e E x i s t s ? <� $ l o c a l L i b d b � g r e p C o n s t r u c t 1 <� o � a � s y m b o l M e m b e r ? <� d b S c r e e n F o r D e f a u l t F u n c t i o n s <� w � g r e p S p l i t <� e r r o r # "� "� TS 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 "� "� "� "� $%##$" #$"� #$" #$"� \ TO P T I O N A L �&