(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 3 (SDEFUN ODP;<;2$B;1 (# # #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|ODP;<;2$B;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|ODP;<;2$B;1|
       #24Y(00 00 00 00 03 00 00 00 26 04 AD C5 5F 14 94 00 B1 B1 95 03 36 03
            19 05)
       (8.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|y| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|5 5 (DECLAIM (NOTINLINE OrderedDirectProduct;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|OrderedDirectProduct;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|7 24 (DEFUN OrderedDirectProduct (&REST G734) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OrderedDirectProduct| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OrderedDirectProduct|
       #66Y(03 00 01 00 00 00 00 00 21 16 63 AE 6F 00 DB 6B 02 38 01 71 6E DD
            2D 03 04 F8 1C 13 53 16 99 06 A2 77 00 7E 03 15 54 05 00 00 00 1D
            0D 1B 10 14 2F 05 19 03 05 00 00 00 1C 05 DB 6B 02 31 70 55 19 03)
       (|BOOT|::|devaluateList| |BOOT|::|OrderedDirectProduct|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|OrderedDirectProduct;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|26 568 (DEFUN OrderedDirectProduct; (#1 #2 #3) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OrderedDirectProduct;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OrderedDirectProduct;|
       #1650Y(00 00 00 00 03 00 00 00 26 04 01 0E BD 2F 00 F8 BC 2F 00 F9 BB 2F
              00 FA DB AD AF B1 61 04 FB DC 2F 03 FC AF B1 C9 60 DE DE BE DF 70
              06 BF E1 70 06 C0 E2 70 06 C1 E3 70 06 C2 E4 30 06 09 0B 14 C3 E5
              8A 06 01 A9 14 C4 E6 70 06 66 19 E7 30 06 09 0F 14 92 10 0B 66 1A
              E8 8A 06 05 66 1A E9 30 06 14 92 11 05 66 1B EA 30 06 14 66 1C EB
              70 06 66 1D EC 70 06 92 14 05 66 1E ED 30 06 14 66 1F EE 30 06 09
              16 14 92 17 08 66 20 EF 8A 06 02 04 15 14 66 21 F0 70 06 66 22 F1
              70 06 66 23 F2 30 06 09 1B 14 66 24 F3 8A 06 17 66 24 F4 8A 06 11
              92 1A 0E 92 1C 0B 66 24 F5 8A 06 05 66 24 F6 30 06 14 66 25 F7 8A
              06 13 66 25 65 1E 8A 06 0C 92 1B 09 92 1D 06 66 25 65 1F 30 06 14
              66 26 65 20 70 06 66 27 65 21 66 29 6F 00 7B 02 8B 06 06 66 27 65
              22 30 06 14 66 28 65 23 70 06 2E 24 14 65 25 70 06 92 21 02 04 1F
              14 66 2B 65 26 8B 06 06 66 2B 65 27 30 06 14 93 24 06 66 2C 65 28
              30 06 14 66 2D 65 29 8B 06 06 66 2D 65 2A 30 06 14 66 2E 65 2B 30
              06 09 27 14 93 28 06 66 2F 65 2C 30 06 14 93 29 06 66 30 65 2D 30
              06 14 66 31 65 2E 30 06 09 2B 14 66 32 65 2F 8A 06 05 92 2B 02 04
              2C 14 66 33 65 30 8A 06 02 04 2D 14 66 34 65 31 8A 06 2E 66 34 65
              32 8A 06 27 66 34 65 33 8A 06 20 92 2D 1D 92 2E 1A 92 2A 17 92 2C
              14 66 34 65 34 8A 06 0D 66 34 65 35 8A 06 06 66 34 65 36 30 06 14
              66 35 65 37 30 06 09 30 14 66 36 65 21 66 38 6F 00 7B 02 8B 06 08
              66 36 65 38 8A 06 80 F4 66 36 65 21 66 38 6F 00 7B 02 8B 06 08 66
              36 65 39 8A 06 80 DF 66 36 65 21 66 38 6F 00 7B 02 8B 06 04 92 30
              80 CE 66 36 65 21 66 38 6F 00 7B 02 8B 06 04 92 2C 80 BD 66 36 65
              21 66 38 6F 00 7B 02 8B 06 04 92 2E 80 AC 66 36 65 21 66 38 6F 00
              7B 02 8B 06 08 66 36 65 3A 8A 06 80 97 66 36 65 21 66 38 6F 00 7B
              02 8B 06 04 92 2D 80 86 66 36 65 21 66 38 6F 00 7B 02 8B 06 08 66
              36 65 3B 8A 06 80 71 66 36 65 21 66 38 6F 00 7B 02 8B 06 08 66 36
              65 3C 8A 06 80 5C 66 36 65 21 66 38 6F 00 7B 02 8B 06 04 92 2B 80
              4B 66 36 65 21 66 38 6F 00 7B 02 8B 06 07 66 36 65 3D 8A 06 37 66
              36 65 21 66 38 6F 00 7B 02 8B 06 03 92 31 27 66 36 65 21 66 38 6F
              00 7B 02 8B 06 07 66 36 65 3E 8A 06 13 66 36 65 21 66 38 6F 00 7B
              02 8B 06 06 66 36 65 3F 30 06 14 66 37 65 40 8A 06 02 04 32 14 66
              38 65 41 8A 06 80 56 66 38 65 42 8A 06 80 4E 66 38 65 43 8A 06 80
              46 92 31 80 42 66 38 65 44 8A 06 3B 92 32 38 92 2E 35 92 30 32 66
              38 65 45 8A 06 2B 92 2F 28 66 38 65 46 8A 06 21 66 38 65 47 8A 06
              1A 92 2D 17 66 38 65 48 8A 06 10 92 33 0D 66 38 65 49 8A 06 06 66
              38 65 4A 30 06 14 66 39 65 4B 8A 06 80 4D 66 39 65 4C 8A 06 80 45
              66 39 65 4D 8A 06 3E 92 32 3B 92 33 38 92 2F 35 92 31 32 66 39 65
              4E 8A 06 2B 92 30 28 66 39 65 4F 8A 06 21 66 39 65 50 8A 06 1A 92
              2E 17 66 39 65 51 8A 06 10 92 34 0D 66 39 65 52 8A 06 06 66 39 65
              53 30 06 14 92 33 06 66 3A 65 54 30 06 14 66 3B 65 55 70 06 66 3C
              65 56 8B 06 06 66 3C 65 57 30 06 09 38 14 66 3D 65 58 8B 06 08 66
              3D 65 59 8A 06 80 99 66 3D 65 5A 8B 06 08 66 3D 65 5B 8A 06 80 8A
              66 3D 65 5C 8B 06 04 92 37 80 7F 66 3D 65 5D 8B 06 04 92 33 80 74
              66 3D 65 5E 8B 06 04 92 35 80 69 66 3D 65 5F 8B 06 08 66 3D 65 60
              8A 06 80 5A 66 3D 65 61 8B 06 04 92 34 80 4F 66 3D 65 62 8B 06 08
              66 3D 65 63 8A 06 80 40 66 3D 65 64 8B 06 07 66 3D 65 65 8A 06 32
              66 3D 65 66 8B 06 03 92 32 28 66 3D 65 67 8B 06 07 66 3D 65 68 8A
              06 1A 66 3D 65 69 8B 06 03 92 38 10 66 3D 65 6A 8B 06 07 66 3D 65
              6B 8A 06 02 04 39 14 92 3A 06 66 3E 65 6C 30 06 14 66 3F 65 6D 8B
              06 06 66 3F 65 6E 30 06 09 3C 14 66 40 65 6F 8A 06 80 49 66 40 65
              21 66 42 6F 00 7B 02 8B 06 07 66 40 65 70 8A 06 35 92 3D 32 92 3C
              2F 66 40 65 71 8B 06 07 66 40 65 72 8A 06 21 66 40 65 73 8B 06 07
              66 40 65 74 8A 06 13 93 39 07 66 40 65 75 8A 06 09 93 39 06 66 40
              65 76 30 06 14 66 41 65 77 8B 06 08 66 41 65 78 8A 06 80 A4 66 41
              65 79 8B 06 08 66 41 65 7A 8A 06 80 95 66 41 65 7B 8B 06 04 92 3B
              80 8A 66 41 65 7C 8B 06 04 92 37 80 7F 66 41 65 7D 8B 06 04 92 39
              80 74 66 41 65 7E 8B 06 08 66 41 65 7F 8A 06 80 65 66 41 65 80 80
              8B 06 04 92 38 80 59 66 41 65 80 81 8B 06 09 66 41 65 80 82 8A 06
              80 48 66 41 65 80 83 8B 06 08 66 41 65 80 84 8A 06 38 66 41 65 80
              85 8B 06 03 92 36 2D 66 41 65 80 86 8B 06 08 66 41 65 80 87 8A 06
              1D 66 41 65 80 88 8B 06 03 92 3C 12 66 41 65 80 89 8B 06 08 66 41
              65 80 8A 8A 06 02 04 3E 14 7B 30 6E 03 80 8B B1 03 80 8C 60 6B 80
              8D DB AE B0 B2 7B 03 65 80 8E A5 7A 2D 04 80 8F B0 2F 80 90 BD B1
              03 80 91 60 BC B1 03 80 92 60 BB B1 03 80 93 60 B0 65 80 94 8A 06
              80 BE 93 05 0E B0 65 80 97 8B 06 07 B0 65 80 98 30 80 96 BC 65 80
              99 8B 06 0E B0 65 80 9A 8B 06 07 B0 65 80 9B 30 80 96 B0 65 80 9C
              8A 06 80 9E 92 09 0E BC 65 80 9E 8B 06 0E B0 65 80 9F 8B 06 07 B0
              65 80 A0 30 80 96 BC 65 80 A1 8B 06 07 BC 65 80 A2 8A 06 1F BC 65
              80 A3 8B 06 07 BC 65 80 A4 8A 06 11 92 0A 0E BC 65 80 A5 8B 06 0E
              B0 65 80 A6 8B 06 07 B0 65 80 A7 30 80 96 BC 65 80 A8 8A 06 0E BC
              65 80 A9 8B 06 0E B0 65 80 AA 8B 06 07 B0 65 80 AB 30 80 96 BC 65
              80 AC 8B 06 07 B0 65 80 AD 8A 06 07 BC 65 80 AE 8B 06 07 B0 65 80
              AF 30 80 96 BC 6F 80 B0 B1 03 80 B1 60 A1 19 12 B0 65 80 95 30 80
              96 93 05 FF 48 1B FF 37 B0 65 80 9D 30 80 96 93 09 FF 5A 1B FF
              65)
       (|BOOT|::|devaluate| |BOOT|::|OrderedDirectProduct| 45.
        |BOOT|::|GETREFV| 0. (|BOOT|::|Field|) |BOOT|::|HasCategory|
        (|BOOT|::|SemiRng|) (|BOOT|::|AbelianGroup|)
        (|BOOT|::|OrderedAbelianMonoidSup|) (|BOOT|::|OrderedSet|)
        (|BOOT|::|OrderedAbelianMonoidSup|) (|BOOT|::|unitsKnown|)
        (|BOOT|::|CommutativeRing|) (|BOOT|::|Field|) (|BOOT|::|SemiRng|)
        (|BOOT|::|Field|) (|BOOT|::|Ring|) (|BOOT|::|Monoid|)
        (|BOOT|::|SemiRng|) (|BOOT|::|Finite|)
        (|BOOT|::|OrderedAbelianMonoidSup|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|DifferentialRing|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|)) (|BOOT|::|Ring|)
        (|BOOT|::|SemiRng|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|)) (|BOOT|::|Ring|)
        (|BOOT|::|SetCategory|) |BOOT|::|Evalable| (|BOOT|::|SetCategory|)
        (|BOOT|::|BasicType|) |BOOT|::|Integer| (|BOOT|::|OrderedSet|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|)) (|BOOT|::|Ring|)
        (|BOOT|::|Ring|) (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|Ring|) (|BOOT|::|AbelianMonoid|) (|BOOT|::|Monoid|)
        (|BOOT|::|SemiRng|) (|BOOT|::|CancellationAbelianMonoid|)
        (|BOOT|::|AbelianGroup|) (|BOOT|::|AbelianGroup|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|AbelianGroup|) (|BOOT|::|Field|) (|BOOT|::|Ring|)
        (|BOOT|::|SemiRng|) (|BOOT|::|SemiGroup|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|Field|) (|BOOT|::|Monoid|)
        (|BOOT|::|OrderedAbelianMonoidSup|) (|BOOT|::|Ring|)
        (|BOOT|::|SemiRng|) (|BOOT|::|SetCategory|) (|BOOT|::|Monoid|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|AbelianGroup|) (|BOOT|::|BasicType|) (|BOOT|::|Field|)
        (|BOOT|::|Monoid|) (|BOOT|::|OrderedAbelianMonoidSup|) (|BOOT|::|Ring|)
        (|BOOT|::|SemiRng|) (|BOOT|::|SetCategory|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|AbelianGroup|) (|BOOT|::|Field|) (|BOOT|::|Monoid|)
        (|BOOT|::|OrderedAbelianMonoidSup|) (|BOOT|::|Ring|)
        (|BOOT|::|SemiRng|) (|BOOT|::|SetCategory|) (|BOOT|::|SemiRng|)
        (|BOOT|::|CoercibleTo| (|BOOT|::|OutputForm|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)) (|BOOT|::|SetCategory|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)) (|BOOT|::|Field|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)) (|BOOT|::|Monoid|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|OrderedAbelianMonoidSup|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)) (|BOOT|::|Ring|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)) (|BOOT|::|SemiRng|)
        (|BOOT|::|Ring|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|SetCategory|) (|BOOT|::|CoercibleTo| (|BOOT|::|OutputForm|))
        (|BOOT|::|SetCategory|) (|BOOT|::|AbelianGroup|) (|BOOT|::|Field|)
        (|BOOT|::|AbelianGroup|) (|BOOT|::|SemiRng|) (|BOOT|::|Field|)
        (|BOOT|::|SemiRng|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|Field|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|Monoid|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|OrderedAbelianMonoidSup|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|Ring|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|SemiRng|) |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| 6. 7. 8. (|BOOT|::|finiteAggregate|)
        281474976710656. |BOOT|::|augmentPredVector|
        (|BOOT|::|finiteAggregate|) 562949953421312. (|BOOT|::|BasicType|)
        (|BOOT|::|finiteAggregate|) 1125899906842624.
        (|BOOT|::|shallowlyMutable|) 2251799813685248. (|BOOT|::|SemiRng|)
        (|BOOT|::|AbelianMonoid|) 4503599627370496. (|BOOT|::|AbelianGroup|)
        (|BOOT|::|Field|) (|BOOT|::|AbelianGroup|) (|BOOT|::|SemiRng|)
        (|BOOT|::|SemiRng|) (|BOOT|::|AbelianGroup|) 9007199254740992.
        (|BOOT|::|AbelianGroup|) (|BOOT|::|SemiRng|) (|BOOT|::|AbelianGroup|)
        18014398509481984. (|BOOT|::|BasicType|) (|BOOT|::|finiteAggregate|)
        (|BOOT|::|SetCategory|) 36028797018963968. |BOOT|::|Vector| 9.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2| |BOOT|::|#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|570 632 (MAKEPROP 'OrderedDirectProduct 'infovec ...)-5|
   #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|::|OrderedDirectProduct| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|DirectProduct|
       (|BOOT|::|NRTEVAL| (|BOOT|::|QREFELT| |BOOT|::|$| 6.)) 7.)
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|local| |BOOT|::|#2|)
      (|BOOT|::|local| |BOOT|::|#3|) '|BOOT|::|Rep| (|BOOT|::|Boolean|)
      |BOOT|::|ODP;<;2$B;1| (|BOOT|::|NonNegativeInteger|)
      (|BOOT|::|PositiveInteger|) (|BOOT|::|List| 7.) (|BOOT|::|Equation| 7.)
      (|BOOT|::|List| 15.) (|BOOT|::|Matrix| 26.)
      (|BOOT|::|Matrix| |BOOT|::|$|)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|mat| 17.)
       (|BOOT|::|:| |BOOT|::|vec| (|BOOT|::|Vector| 26.)))
      (|BOOT|::|Vector| |BOOT|::|$|) (|BOOT|::|Symbol|) (|BOOT|::|List| 21.)
      (|BOOT|::|List| 12.) (|BOOT|::|Union| 25. '#1="failed")
      (|BOOT|::|Fraction| 26.) (|BOOT|::|Integer|) (|BOOT|::|Union| 26. '#1#)
      (|BOOT|::|Union| |BOOT|::|$| '"failed") (|BOOT|::|Mapping| 10. 7. 7.)
      (|BOOT|::|Mapping| 10. 7.) (|BOOT|::|Void|) (|BOOT|::|Mapping| 7. 7.)
      (|BOOT|::|OutputForm|) (|BOOT|::|CardinalNumber|) (|BOOT|::|InputForm|)
      (|BOOT|::|List| |BOOT|::|$|)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|mat| 38.)
       (|BOOT|::|:| |BOOT|::|vec| 43.))
      (|BOOT|::|Matrix| 7.) (|BOOT|::|Union| 7. '#1#) (|BOOT|::|SingleInteger|)
      (|BOOT|::|String|) (|BOOT|::|HashState|) (|BOOT|::|Vector| 7.)
      (|BOOT|::|List| 26.))
    #(|COMMON-LISP|::|<| 0.) 48.
    (0. 8. 11. 11. 8. 8. 11. 16. 17. 18. 20. 1. 11. 20. 10. 2. 8. 9. 4. 11. 13.
     0. 9. 2. 4. 2. 13. 20. 3. 4. 4. 34. 11. 12. 0. 6. 33. 12. 14. 38. 19. 0.
     15. 38. 35. 0. 0. 37. 8. 40. 21. 0. 0. 0. 0. 37. 47. 5. 7. 8. 14. 39. 21.
     48. 44.)
    |BOOT|::|makeByteWordVec2|
    #(|BOOT|::|DirectProductCategory&| |COMMON-LISP|::|NIL|
      |BOOT|::|FullyLinearlyExplicitOver&| |BOOT|::|DifferentialExtension&|
      |BOOT|::|Algebra&| |BOOT|::|Algebra&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|PartialDifferentialRing&|
      |BOOT|::|DifferentialRing&| |COMMON-LISP|::|NIL| |BOOT|::|VectorSpace&|
      |COMMON-LISP|::|NIL| |BOOT|::|Rng&| |BOOT|::|Module&|
      |COMMON-LISP|::|NIL| |BOOT|::|Module&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|NonAssociativeRing&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|NonAssociativeRng&| |BOOT|::|AbelianGroup&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|IndexedAggregate&| |BOOT|::|OrderedSet&|
      |BOOT|::|AbelianMonoid&| |BOOT|::|MagmaWithUnit&| |BOOT|::|Finite&|
      |COMMON-LISP|::|NIL| |BOOT|::|NonAssociativeSemiRng&|
      |BOOT|::|HomogeneousAggregate&| |COMMON-LISP|::|NIL| |BOOT|::|Magma&|
      |BOOT|::|AbelianSemiGroup&| |BOOT|::|Aggregate&|
      |BOOT|::|EltableAggregate&| |BOOT|::|Evalable&| |COMMON-LISP|::|NIL|
      |BOOT|::|SetCategory&| |BOOT|::|FullyRetractableTo&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|InnerEvalable&| |COMMON-LISP|::|NIL| |BOOT|::|PartialOrder&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|BasicType&| |BOOT|::|RetractableTo&| |BOOT|::|RetractableTo&|
      |BOOT|::|RetractableTo&|)
    #((|BOOT|::|DirectProductCategory| 6. 7.) (|BOOT|::|CommutativeRing|)
      (|BOOT|::|FullyLinearlyExplicitOver| 7.)
      (|BOOT|::|DifferentialExtension| 7.) (|BOOT|::|Algebra| |BOOT|::|$$|)
      (|BOOT|::|Algebra| 7.) (|BOOT|::|LinearlyExplicitOver| 7.)
      (|BOOT|::|LinearlyExplicitOver| 26.)
      (|BOOT|::|PartialDifferentialRing| 21.) (|BOOT|::|DifferentialRing|)
      (|BOOT|::|Ring|) (|BOOT|::|VectorSpace| 7.) (|BOOT|::|SemiRing|)
      (|BOOT|::|Rng|) (|BOOT|::|Module| 7.) (|BOOT|::|SemiRng|)
      (|BOOT|::|Module| |BOOT|::|$$|) (|BOOT|::|BiModule| 7. 7.)
      (|BOOT|::|OrderedAbelianMonoidSup|) (|BOOT|::|NonAssociativeRing|)
      (|BOOT|::|BiModule| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|AbelianProductCategory| 7.) (|BOOT|::|LeftModule| 7.)
      (|BOOT|::|RightModule| 7.) (|BOOT|::|OrderedCancellationAbelianMonoid|)
      (|BOOT|::|RightModule| |BOOT|::|$$|) (|BOOT|::|LeftModule| |BOOT|::|$$|)
      (|BOOT|::|NonAssociativeRng|) (|BOOT|::|AbelianGroup|)
      (|BOOT|::|OrderedAbelianMonoid|) (|BOOT|::|OrderedAbelianSemiGroup|)
      (|BOOT|::|CancellationAbelianMonoid|) (|BOOT|::|NonAssociativeSemiRing|)
      (|BOOT|::|Monoid|) (|BOOT|::|IndexedAggregate| 26. 7.)
      (|BOOT|::|OrderedSet|) (|BOOT|::|AbelianMonoid|)
      (|BOOT|::|MagmaWithUnit|) (|BOOT|::|Finite|) (|BOOT|::|SemiGroup|)
      (|BOOT|::|NonAssociativeSemiRng|) (|BOOT|::|HomogeneousAggregate| 7.)
      (|BOOT|::|Comparable|) (|BOOT|::|Magma|) (|BOOT|::|AbelianSemiGroup|)
      (|BOOT|::|Aggregate|) (|BOOT|::|EltableAggregate| 26. 7.)
      (|BOOT|::|Evalable| 7.) (|BOOT|::|CommutativeStar|)
      (|BOOT|::|SetCategory|) (|BOOT|::|FullyRetractableTo| 7.)
      (|BOOT|::|Type|) (|BOOT|::|finiteAggregate|)
      (|BOOT|::|CoercibleTo| (|BOOT|::|Vector| 7.)) (|BOOT|::|Eltable| 26. 7.)
      (|BOOT|::|InnerEvalable| 7. 7.) (|BOOT|::|CoercibleTo| 33.)
      (|BOOT|::|PartialOrder|) (|BOOT|::|unitsKnown|) (|BOOT|::|TwoSidedRecip|)
      (|BOOT|::|ConvertibleTo| 35.) (|BOOT|::|BasicType|)
      (|BOOT|::|RetractableTo| 7.) (|BOOT|::|RetractableTo| 25.)
      (|BOOT|::|RetractableTo| 26.))
    11. (2. 5. 10. 0. 0. 11.) |BOOT|::|lookupIncomplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
