(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER DirectProductCategory;CAT 'NIL)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|DirectProductCategory;CAT|)
    |BOOT|::|DirectProductCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE DirectProductCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|DirectProductCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER DirectProductCategory;AL 'NIL)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|DirectProductCategory;AL|)
    |BOOT|::|DirectProductCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 17 (DEFUN DirectProductCategory (t#1 t#2) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DirectProductCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DirectProductCategory|
       #47Y(00 00 00 00 02 00 00 00 26 03 63 AF 6F 00 AF 6F 00 7B 02 AC 6B 01
            30 02 F9 1C 11 AC 99 03 9F 37 00 FA 7A 6B 01 30 04 0F 01 9E 19 05
            5C 19 05)
       (|BOOT|::|devaluate| |BOOT|::|DirectProductCategory;AL| |BOOT|::|assoc|
        |BOOT|::|DirectProductCategory;| |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|19 87 (DEFUN DirectProductCategory; (t#1 t#2) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DirectProductCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DirectProductCategory;|
       #77Y(00 00 00 00 02 00 00 00 26 03 63 DA B0 B0 7B 02 70 01 DC DD DE 7B
            02 70 01 0E 05 1C 19 E0 E1 70 08 E3 6F 0A E1 6F 0B 2E 0C 14 E7 E8
            01 02 6E 04 0F 2D 05 10 0F 05 14 70 11 30 11 F8 14 EC B1 B1 7B 03
            AC AF ED 2D 03 14 16 01 15 19 04)
       ((|BOOT|::|t#1| |BOOT|::|t#2|) |BOOT|::|PAIR| (#1=#:|G696| #2=#:|G697|)
        (|BOOT|::|Integer|) (|BOOT|::|Vector| |BOOT|::|t#2|)
        |BOOT|::|DirectProductCategory;CAT| #1# |BOOT|::|t#2|
        |BOOT|::|IndexedAggregate| #2# |BOOT|::|CoercibleTo|
        |BOOT|::|AbelianProductCategory| |BOOT|::|finiteAggregate|
        (((|BOOT|::|directProduct|
           (|BOOT|::|$| (|BOOT|::|Vector| |BOOT|::|t#2|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|unitVector| (|BOOT|::|$| (|BOOT|::|PositiveInteger|)))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Monoid|))
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|AbelianMonoid|))))
         ((|BOOT|::|dot| (|BOOT|::|t#2| |BOOT|::|$| |BOOT|::|$|))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|AbelianMonoid|))
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SemiRng|))))
         ((|COMMON-LISP|::|*| (|BOOT|::|$| |BOOT|::|t#2| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SemiGroup|)))
         ((|COMMON-LISP|::|*| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#2|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SemiGroup|))))
        (((|BOOT|::|FullyRetractableTo| |BOOT|::|t#2|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SetCategory|)))
         ((|BOOT|::|DifferentialExtension| |BOOT|::|t#2|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Ring|)))
         ((|BOOT|::|FullyLinearlyExplicitOver| |BOOT|::|t#2|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Ring|)))
         ((|BOOT|::|SemiRng|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SemiRng|)))
         ((|BOOT|::|BiModule| |BOOT|::|t#2| |BOOT|::|t#2|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SemiRng|)))
         ((|BOOT|::|Monoid|) (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Monoid|)))
         ((|BOOT|::|SemiGroup|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|SemiGroup|)))
         ((|BOOT|::|Finite|) (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Finite|)))
         ((|BOOT|::|Algebra| |BOOT|::|t#2|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|CommutativeRing|)))
         ((|BOOT|::|CommutativeRing|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|CommutativeRing|)))
         ((|BOOT|::|unitsKnown|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|unitsKnown|)))
         ((|BOOT|::|OrderedSet|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|OrderedSet|)))
         ((|BOOT|::|OrderedAbelianMonoidSup|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|OrderedAbelianMonoidSup|)))
         ((|BOOT|::|VectorSpace| |BOOT|::|t#2|)
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Field|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|DirectProductCategory| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
