#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/x86_64-unknown-linux-gnu/bin/lisp --script # FASL compiled from "stage1/ast.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 �i n c l u d e r 8#�#�#�PS E T P * P A C K A G E * �B O O T T R A N ,8PP R O V I D E �a s t 8PE X P O R T �B O O T T R A N �q u o t e � t r a n s l a t e F o r m 8�S B - I M P L � % D E F P A R A M E T E R �$ b f C l a m m i n g # #�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 / b o o t / s t a g e 1 / a s t . c l i s p o 0 8�$ c o n s t a n t I d e n t i f i e r s # #0 8�$ a c t i v e N a m e s p a c e # #0 8�% D E F U N �% C o m m a n d > # "� #LTS 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 #L"� "� #U##$"� \ %0 \ s 0 ��1 �EH���� H�e�H��I�L$`H�M�I�l$@M�\$I�SI;T$ w_I�T$I�SI1l$@t� H�Z�H�B I�l$@M�\$I�KI;L$ w;I�L$I�KI1l$@t� H�5:���H�q�H�QH��H���]��j� ��Z���j� ��Y���TA B S O L U T E �alloc_tramp� -�alloc_tramp� .�b f V a r # 1 PF U N C T I O N PV A L U E S PC O N S P &