#!/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/database.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 �n l i b 8#�#�#�#7 ��g - c n d a t a 8#�#�#�#7 ��c - u t i l 8#�#�#�#7 ��c l a m 8#�#�#�#7 ��c a t t a b l e 8#�#�#�#7 ��c o m p a t 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 - I M P L � % D E F P A R A M E T E R �B O O T �$ g e t U n e x p o s e d O p e r a t i o n s # # �Y/ 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 / d a t a b a s e . c l i s p o 0 8�$ g l o b a l E x p o s u r e G r o u p A l i s t # # 0 8�% D E F U N �p a t h T o D a t a b a s e > � U s i n g l o c a l d a t a b a s e PW R I T E - S T R I N G <PP R I N C <�. . �s y s t e m D a t a b a s e D i r e c t o r y <�C O N C A T <�$ v e r b o s e �$ s t d o u t BPF O R M A T <�s y s t e m R o o t D i r e c t o r y <�a l g e b r a / # "� "� TS T A N D A R D TM I N I M A L ##`#$"� #$" \ TE X T E R N A L �S B - C �+X E P PL A M B D A PS T R E A M `F O R M A T - A R G 3 P&