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