#!/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-con.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 - I M P L �% D E F U N �B O O T � c o n P a g e > � f o r m 2 H t S t r i n g <� $ c o n A r g s t r i n g s � D O W N C A S E <� t y p e � C a t e g o r y T y p e � u n i o n � D o m a i n U n i o n � r e c o r d � D o m a i n R e c o r d � m a p p i n g � D o m a i n M a p p i n g � e n u m e r a t i o n � D o m a i n E n u m e r a t i o n � s y m b o l T a r g e t <� c o n P a g e F a s t P a t h <� U P C A S E <� y S e a r c h <� k P a g e <� d o w n l i n k <# "I "� 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 �,T L - X E P q 0 "� "� "K "� ()##$"� #$" #$"� \ TO P T I O N A L �,&