#!/projects/77750c71-ec7b-4962-bf55-a49ff5065fb6/open-axiom-build/x86_64-unknown-linux-gnu/bin/lisp --script # FASL compiled from "stage1/tokens.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 �u t i l i t y 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 �t o k e n s 8PE X P O R T �B O O T T R A N �$ I n t e r a c t i v e M o d e �c h a r � s u b S t r i n g 8�S B - C � % P R O C L A I M PF T Y P E PF U N C T I O N �% S y m b o l �% C h a r # #�\/ 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 / t o k e n s . c l i s p o 0 8�S B - I M P L � % D E F P A R A M E T E R # #0 8� S B - K E R N E L �"% D E F S T R U C T - P A C K A G E - L O C K S # TU N S P E C I F I E D P S T R U C T U R E #� % T o k e n - c l s #�c l s v 0 � % T o k e n - v a l #�v a l (0 � % T o k e n - p o s #�p o s (0 �% T o k e n - P � c o p y % T o k e n �M A K E - % T o k e n �% T o k e n - �% T o k e n u 0 8�" % D E F S T R U C T 7l m \ # #0 8�"% C O M P I L E R - D E F S T R U C T 7;8�% D E F U N 2>? 5;### - 5PC O P Y - S T R U C T U R E <# "� #ITS 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 2 q 0 "� "� "� "� AB##," "� \ 2G0 \ 2s 0 ��1 �EH���� H�e��B��u1H�JH; ����u H��H�u��%H�Y-H��~H�A%H�HH; a���t�� ��@I�L$`H�M�H�\$�H��H��H�I���� H�+H���P H�u�H�JH; ���t%H�Y-H��~H�A%H�HH; ���t � ��@H���]��O2�"I N S T A N C E 5 PV A L U E S 5P &