(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (PUT 'OMENC;=;2$B;1 'SPADreplace ...)-1|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|OMENC;=;2$B;1| |BOOT|::|SPADreplace| |BOOT|::|eql_SI|
    |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (SDEFUN OMENC;=;2$B;1 (# # #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OMENC;=;2$B;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OMENC;=;2$B;1|
       #16Y(00 00 00 00 03 00 00 00 26 04 AF AF 32 13 19 04) ()
       (|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
       (|BOOT|::|u| |BOOT|::|v| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 14 (SDEFUN OMENC;coerce;$Of;2 (# #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OMENC;coerce;$Of;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OMENC;coerce;$Of;2|
       #144Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 B0 DB 95 03 36 03
             16 01 1C 80 55 AD C5 5F 14 94 00 B0 DE 95 03 36 03 16 01 1C 80 4D
             AD C5 5F 14 94 00 B0 B0 CB 5F 14 94 00 E1 95 02 36 02 F8 95 03 36
             03 16 01 1C 3B AD C5 5F 14 94 00 B0 B0 CB 5F 14 94 00 E3 95 02 36
             02 F8 95 03 36 03 16 01 1D 29 AD C7 5F 14 94 00 CF 14 95 02 36 02
             19 04 AD C7 5F 14 94 00 C8 1B 70 AD C7 5F 14 94 00 CA 1B 67 AD C7
             5F 14 94 00 CD 1B 5E E5 2F 0C 19 03)
       (8. 0. 11. "Unknown" 1. "Binary" 13. 2. "XML" 3. "SGML"
        "Bogus OpenMath Encoding Type" |BOOT|::|error|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|u| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|16 16 (PUT 'OMENC;OMencodingUnknown;$;3 'SPADreplace ...)-4|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|OMENC;OMencodingUnknown;$;3| |BOOT|::|SPADreplace|
    (|BOOT|::|XLAM| |COMMON-LISP|::|NIL| 0.) |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|18 18 (SDEFUN OMENC;OMencodingUnknown;$;3 (#) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OMENC;OMencodingUnknown;$;3| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OMENC;OMencodingUnknown;$;3|
       #13Y(00 00 00 00 01 00 00 00 26 02 C5 19 02) (0.) |COMMON-LISP|::|NIL|
       (|BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|20 20 (PUT 'OMENC;OMencodingBinary;$;4 'SPADreplace ...)-6|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|OMENC;OMencodingBinary;$;4| |BOOT|::|SPADreplace|
    (|BOOT|::|XLAM| |COMMON-LISP|::|NIL| 1.) |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|22 22 (SDEFUN OMENC;OMencodingBinary;$;4 (#) ...)-7|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OMENC;OMencodingBinary;$;4| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OMENC;OMencodingBinary;$;4|
       #13Y(00 00 00 00 01 00 00 00 26 02 C5 19 02) (1.) |COMMON-LISP|::|NIL|
       (|BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|24 24 (SDEFUN OMENC;OMencodingXML;$;5 (#) ...)-8|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OMENC;OMencodingXML;$;5| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OMENC;OMencodingXML;$;5|
       #23Y(00 00 00 00 01 00 00 00 26 02 AD C5 5F 14 94 00 DB 95 02 36 02 19
            03)
       (13. 2.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|26 26 (SDEFUN OMENC;OMencodingSGML;$;6 (#) ...)-9|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OMENC;OMencodingSGML;$;6| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OMENC;OMencodingSGML;$;6|
       #23Y(00 00 00 00 01 00 00 00 26 02 AD C5 5F 14 94 00 DB 95 02 36 02 19
            03)
       (13. 3.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|28 28 (DECLAIM (NOTINLINE OpenMathEncoding;))-10|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|OpenMathEncoding;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|30 46 (DEFUN OpenMathEncoding NIL ...)-11|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OpenMathEncoding| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OpenMathEncoding|
       #75Y(03 00 01 00 00 00 00 00 26 01 63 DA 6B 01 38 01 80 6E 00 1C 22 53
            26 6B 01 63 DD 2E 04 5D 7A 7B 01 DA AE AE 31 6F 16 02 5B 5C 79 7E
            03 15 54 05 00 00 00 1D 0E 1B 11 5B 79 2F 02 19 02 05 00 00 00 1C
            05 DA 6B 01 31 70 55 19 02)
       (|BOOT|::|OpenMathEncoding| |BOOT|::|$ConstructorCache|
        |BOOT|::|CDRwithIncrement| 1. |BOOT|::|OpenMathEncoding;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|48 59 (DEFUN OpenMathEncoding; NIL ...)-12|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OpenMathEncoding;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OpenMathEncoding;|
       #53Y(00 00 00 00 00 00 00 00 26 01 01 02 C5 F9 DB 2F 02 F8 AD AD C8 60
            DD DD 63 6E 03 04 AD CA 60 6B 06 E1 63 E2 A1 7A 2D 04 09 AC 2F 0A
            2E 0B 14 AD D1 60 15 19 02)
       ((|BOOT|::|OpenMathEncoding|) 21. |BOOT|::|GETREFV| 0.
        |BOOT|::|buildPredVector| 3. |BOOT|::|$ConstructorCache|
        |BOOT|::|OpenMathEncoding| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| |BOOT|::|SingleInteger| 6.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|61 82 (MAKEPROP 'OpenMathEncoding 'infovec ...)-13|
   #36Y(00 00 00 00 00 00 00 00 20 01 DA DB DC DD 63 DE DF 70 06 E1 E2 E3 E4 30
        06 5D 5D 7A E5 7B 05 2D 03 0C 19 01)
   (|BOOT|::|OpenMathEncoding| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      '|BOOT|::|Rep| (|BOOT|::|Boolean|) |BOOT|::|OMENC;=;2$B;1|
      (|BOOT|::|String|) (|BOOT|::|OutputForm|) (0. . |BOOT|::|message|)
      (|BOOT|::|Integer|) (5. . |BOOT|::|coerce|) |BOOT|::|OMENC;coerce;$Of;2|
      |BOOT|::|OMENC;OMencodingUnknown;$;3|
      |BOOT|::|OMENC;OMencodingBinary;$;4| |BOOT|::|OMENC;OMencodingXML;$;5|
      |BOOT|::|OMENC;OMencodingSGML;$;6| (|BOOT|::|SingleInteger|)
      (|BOOT|::|HashState|))
    #(|BOOT|::|~=| 10. |BOOT|::|latex| 16. |BOOT|::|hashUpdate!| 21.
      |BOOT|::|hash| 27. |BOOT|::|coerce| 32. |BOOT|::|OMencodingXML| 37.
      |BOOT|::|OMencodingUnknown| 41. |BOOT|::|OMencodingSGML| 45.
      |BOOT|::|OMencodingBinary| 49. |COMMON-LISP|::|=| 53.)
    1. (0. 0. 0.) |BOOT|::|makeByteWordVec2|
    #(|BOOT|::|SetCategory&| |BOOT|::|BasicType&| |COMMON-LISP|::|NIL|)
    #((|BOOT|::|SetCategory|) (|BOOT|::|BasicType|)
      (|BOOT|::|CoercibleTo| 10.))
    20.
    (1. 10. 0. 9. 11. 1. 6. 0. 12. 13. 2. 0. 7. 0. 0. 1. 1. 0. 9. 0. 1. 2. 0.
     20. 20. 0. 1. 1. 0. 19. 0. 1. 1. 0. 10. 0. 14. 0. 0. 0. 17. 0. 0. 0. 15.
     0. 0. 0. 18. 0. 0. 0. 16. 2. 0. 7. 0. 0. 8.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|84 84 (MAKEPROP 'OpenMathEncoding 'NILADIC ...)-14|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|OpenMathEncoding| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
