(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (PUT 'STRING;ucodeToString;I$;1 'SPADreplace ...)-1|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|STRING;ucodeToString;I$;1| |BOOT|::|SPADreplace|
    |BOOT|::|NUM2USTR| |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (SDEFUN STRING;ucodeToString;I$;1 (# #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;ucodeToString;I$;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;ucodeToString;I$;1|
       #15Y(00 00 00 00 02 00 00 00 26 03 AE 2F 00 19 03) (|BOOT|::|NUM2USTR|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|n| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (PUT 'STRING;uentries;$L;2 'SPADreplace ...)-3|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|STRING;uentries;$L;2| |BOOT|::|SPADreplace| |BOOT|::|UENTRIES|
    |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 9 (SDEFUN STRING;uentries;$L;2 (# #) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;uentries;$L;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;uentries;$L;2|
       #15Y(00 00 00 00 02 00 00 00 26 03 AE 2F 00 19 03) (|BOOT|::|UENTRIES|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|s| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|11 11 (PUT 'STRING;string;I$;3 'SPADreplace ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|STRING;string;I$;3| |BOOT|::|SPADreplace| |BOOT|::|STRINGIMAGE|
    |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|13 13 (SDEFUN STRING;string;I$;3 (# #) ...)-6|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;string;I$;3| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;string;I$;3|
       #15Y(00 00 00 00 02 00 00 00 26 03 AE 2F 00 19 03)
       (|BOOT|::|STRINGIMAGE|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|n| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|15 19 (SDEFUN STRING;OMwrite;Omd$BV;4 (# # # ...) ...)-7|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;OMwrite;Omd$BV;4| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;OMwrite;Omd$BV;4|
       #59Y(00 00 00 00 04 00 00 00 26 05 93 02 0D AD C5 5F 14 94 00 B2 95 02
            36 02 16 01 AD C6 5F 14 94 00 B2 B2 95 03 36 03 16 01 92 02 03 00
            19 05 AD C7 5F 14 94 00 B2 95 02 36 02 19 06)
       (13. 15. 16.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|dev| |BOOT|::|x| |BOOT|::|wholeObj| |BOOT|::|$|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|21 21 (PUT 'STRING;convert;$If;5 'SPADreplace ...)-8|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|STRING;convert;$If;5| |BOOT|::|SPADreplace|
    (|BOOT|::|XLAM| (|BOOT|::|x|) |BOOT|::|x|) |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|23 23 (SDEFUN STRING;convert;$If;5 (# #) ...)-9|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;convert;$If;5| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;convert;$If;5|
       #13Y(00 00 00 00 02 00 00 00 26 03 9F 19 03) ()
       (|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
       (|BOOT|::|x| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|25 25 (PUT 'STRING;qelt;$IC;6 'SPADreplace ...)-10|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|STRING;qelt;$IC;6| |BOOT|::|SPADreplace| |BOOT|::|STR_ELT1|
    |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|27 28 (SDEFUN STRING;qelt;$IC;6 (# # #) ...)-11|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;qelt;$IC;6| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;qelt;$IC;6|
       #19Y(00 00 00 00 03 00 00 00 26 04 AF 97 03 71 31 31 28 19 04) ()
       (|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
       (|BOOT|::|s| |BOOT|::|i| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|30 30 (PUT 'STRING;qsetelt!;$I2C;7 'SPADreplace ...)-12|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|STRING;qsetelt!;$I2C;7| |BOOT|::|SPADreplace|
    |BOOT|::|STR_SETELT1| |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|32 34 (SDEFUN STRING;qsetelt!;$I2C;7 (# # # ...) ...)-13|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|STRING;qsetelt!;$I2C;7| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|STRING;qsetelt!;$I2C;7|
       #21Y(00 00 00 00 04 00 00 00 26 05 B0 97 04 B0 71 29 31 33 9F 19 05) ()
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|s| |BOOT|::|i| |BOOT|::|c| |BOOT|::|$|) |COMMON-LISP|::|NIL|
       1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|36 36 (DECLAIM (NOTINLINE String;))-14|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|String;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|38 52 (DEFUN String NIL ...)-15|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|String| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|String|
       #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|::|String| |BOOT|::|$ConstructorCache| |BOOT|::|CDRwithIncrement|
        1. |BOOT|::|String;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|54 111 (DEFUN String; NIL ...)-16|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|String;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|String;|
       #227Y(00 00 00 00 00 00 00 00 26 01 01 03 C5 FA DB 2F 02 F9 AE AE C8 60
             DD DD 2E 04 14 DF 8B 06 06 2E 04 14 E1 30 06 14 2E 04 14 E2 70 06
             2E 04 14 E3 70 06 2E 0A 14 E5 70 06 2E 04 14 E6 70 06 2E 04 14 E7
             30 06 FF 14 92 08 06 2E 04 14 E8 30 06 14 7B 07 6E 03 0F AE D5 60
             6B 11 EC 63 ED A2 7A 2D 04 14 AD 2F 15 AD F0 8B 06 04 AD F1 30 18
             AD F3 8B 06 04 AD F4 30 18 AD F5 8B 06 0B 2E 04 14 F6 8B 06 04 AD
             F7 30 18 AD 65 1E 8B 06 0B AD 65 1F 8B 06 05 AD 65 20 30 18 AD 65
             21 8B 06 13 AD 65 22 8B 06 0D 2E 04 14 65 23 8B 06 05 AD 65 24 30
             18 AD 65 25 8B 06 0D 2E 04 14 65 26 8B 06 05 AD 65 27 30 18 AD 65
             28 8B 06 03 92 00 0E AD 65 29 8B 06 0D 2E 04 14 65 2A 8B 06 05 AD
             65 2B 30 18 9E 19 04)
       ((|BOOT|::|String|) 40. |BOOT|::|GETREFV| 0. |BOOT|::|Character|
        (|BOOT|::|Evalable| (|BOOT|::|Character|)) |BOOT|::|HasCategory|
        (|BOOT|::|SetCategory|) (|BOOT|::|OrderedSet|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|)) |BOOT|::|Integer|
        (|BOOT|::|OrderedSet|) (|BOOT|::|BasicType|) (|BOOT|::|Comparable|)
        (|BOOT|::|OrderedSet|) |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| |BOOT|::|String| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| (|BOOT|::|shallowlyMutable|) 128.
        |BOOT|::|augmentPredVector| (|BOOT|::|finiteAggregate|) 256.
        (|BOOT|::|finiteAggregate|) (|BOOT|::|BasicType|) 512.
        (|BOOT|::|finiteAggregate|) (|BOOT|::|shallowlyMutable|) 1024.
        (|BOOT|::|finiteAggregate|) (|BOOT|::|shallowlyMutable|)
        (|BOOT|::|OrderedSet|) 2048. (|BOOT|::|finiteAggregate|)
        (|BOOT|::|OrderedSet|) 4096. (|BOOT|::|finiteAggregate|)
        (|BOOT|::|finiteAggregate|) (|BOOT|::|OrderedSet|) 8192.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|113 157 (MAKEPROP 'String 'infovec ...)-17|
   #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|::|String| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|IndexedString| (|BOOT|::|NRTEVAL| 1.)) (|BOOT|::|Integer|)
      |BOOT|::|STRING;ucodeToString;I$;1| (|BOOT|::|List| 35.)
      |BOOT|::|STRING;uentries;$L;2| |BOOT|::|STRING;string;I$;3|
      (|BOOT|::|Void|) (|BOOT|::|OpenMathDevice|) (0. . |BOOT|::|OMputObject|)
      (|BOOT|::|String|) (5. . |BOOT|::|OMputString|)
      (11. . |BOOT|::|OMputEndObject|) (|BOOT|::|Boolean|)
      |BOOT|::|STRING;OMwrite;Omd$BV;4| (|BOOT|::|InputForm|)
      |BOOT|::|STRING;convert;$If;5| (|BOOT|::|Character|)
      |BOOT|::|STRING;qelt;$IC;6| |BOOT|::|STRING;qsetelt!;$I2C;7|
      (|BOOT|::|List| 21.) (|BOOT|::|List| 26.) (|BOOT|::|Equation| 21.)
      (|BOOT|::|Mapping| 21. 21. 21.) (|BOOT|::|NonNegativeInteger|)
      (|BOOT|::|Mapping| 17. 21. 21.) (|BOOT|::|Mapping| 17. 21.)
      (|BOOT|::|UniversalSegment| 6.) (|BOOT|::|Mapping| 21. 21.)
      (|BOOT|::|OutputForm|) (|BOOT|::|HashState|) (|BOOT|::|SingleInteger|)
      (|BOOT|::|CharacterClass|) (|BOOT|::|List| |BOOT|::|$|)
      (|BOOT|::|Union| 21. '"failed") (|BOOT|::|List| 6.))
    #(|BOOT|::|uentries| 16. |BOOT|::|ucodeToString| 21. |BOOT|::|string| 26.
      |BOOT|::|qsetelt!| 31. |BOOT|::|qelt| 38. |BOOT|::|convert| 44.
      |BOOT|::|OMwrite| 49.)
    7.
    (0. 0. 0. 0. 0. 0. 0. 2. 0. 7. 0. 0. 0. 1. 0. 0. 0. 0. 0. 0. 0. 0. 1. 2.
     3.)
    |BOOT|::|makeByteWordVec2|
    #(|COMMON-LISP|::|NIL| |BOOT|::|StringAggregate&|
      |BOOT|::|OneDimensionalArrayAggregate&| |COMMON-LISP|::|NIL|
      |BOOT|::|LinearAggregate&| |BOOT|::|IndexedAggregate&|
      |BOOT|::|Collection&| |BOOT|::|OrderedSet&|
      |BOOT|::|HomogeneousAggregate&| |COMMON-LISP|::|NIL|
      |BOOT|::|SetCategory&| |BOOT|::|Aggregate&| |BOOT|::|EltableAggregate&|
      |BOOT|::|Evalable&| |BOOT|::|OpenMath&| |COMMON-LISP|::|NIL|
      |BOOT|::|BasicType&| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|InnerEvalable&| |BOOT|::|PartialOrder&| |COMMON-LISP|::|NIL|)
    #((|BOOT|::|StringCategory|) (|BOOT|::|StringAggregate|)
      (|BOOT|::|OneDimensionalArrayAggregate| 21.)
      (|BOOT|::|FiniteLinearAggregate| 21.) (|BOOT|::|LinearAggregate| 21.)
      (|BOOT|::|IndexedAggregate| 6. 21.) (|BOOT|::|Collection| 21.)
      (|BOOT|::|OrderedSet|) (|BOOT|::|HomogeneousAggregate| 21.)
      (|BOOT|::|Comparable|) (|BOOT|::|SetCategory|) (|BOOT|::|Aggregate|)
      (|BOOT|::|EltableAggregate| 6. 21.) (|BOOT|::|Evalable| 21.)
      (|BOOT|::|OpenMath|) (|BOOT|::|CoercibleTo| 33.) (|BOOT|::|BasicType|)
      (|BOOT|::|shallowlyMutable|) (|BOOT|::|finiteAggregate|)
      (|BOOT|::|Eltable| 31. |BOOT|::|$$|) (|BOOT|::|Type|)
      (|BOOT|::|Eltable| 6. 21.) (|BOOT|::|InnerEvalable| 21. 21.)
      (|BOOT|::|PartialOrder|) (|BOOT|::|ConvertibleTo| 19.))
    23.
    (1. 12. 11. 0. 13. 2. 12. 11. 0. 14. 15. 1. 12. 11. 0. 16. 1. 0. 8. 0. 9.
     1. 0. 0. 6. 7. 1. 0. 0. 6. 10. 3. 8. 21. 0. 6. 21. 23. 2. 0. 21. 0. 6. 22.
     1. 3. 19. 0. 20. 3. 0. 11. 12. 0. 17. 18.)
    |BOOT|::|lookupIncomplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|159 159 (MAKEPROP 'String 'NILADIC ...)-18|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|String| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
