#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/x86_64-unknown-linux-gnu/bin/lisp --script # FASL compiled from "stage1/pile.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#�#�#�#7 ��s c a n n 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 �p i l e 8�S B - I M P L �% D E F U N �B O O T T R A N �s h o e F i r s t T o k P o s n > �% T o k e n l m \ ### - # "� #HTS 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 #H"� "� #Q##$" \ 0 \ s 0 ��1 �EH��ujH�e�H��I�L$`H�M��F��uUH��H�J��A��uNH�I��A��u2H�QH;t���u H�QH���]�H�Z-H��~H�B%H�PH;O���t�� ��@�� /�� /�&�t PF U N C T I O N PV A L U E S P &