#!/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/ht-root.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 �h t - 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 P A R A M E T E R �B O O T � $ h i s t o r y D i s p l a y W i d t h #x# #�X/ 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 / h t - r o o t . c l i s p o 0 8� $ n e w l i n e P C O D E - C H A R # 7# #0 8�% D E F U N � d o w n l i n k > �B r i d g e � h t I n i t P a g e <� \ r e p l a c e p a g e { �} � h t S a y <� h t S h o w P a g e <# "� #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 #P"� "� #Y##$"� \ $0 \ s 0 ��1 �EH���� H�e�H��H�}�I�L$`H�M�H�\$�H��H�g���� H�c���� H�+H���P HB�H�\$�H��H�I���H�}�H�5F���H�G���� H�+H���P HB�H�6���1��u�` �,� p a g e PF U N C T I O N P* ### ### ### \ \ � 8# #0 8� d b N o n E m p t y P a t t e r n >; �* � S T R I N G I M A G E <# "� #L##`#$"� \ ": $0 #L"� "� #U##("� "� \ :$0 \ :)0 ��1 �EH���� H�e�H��I�L$`H�M�H�� u H�����H���]�H��H�\$�H��H�z���� H�+H���P HB�H��H�]�H��H��H�l$H�l$� �%x H��H�]�H��H�+���H��HO���E:� p a t t e r n /0PV A L U E S PS E Q U E N C E P &