(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER IndexedDirectProductCategory;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|::|IndexedDirectProductCategory;CAT|)
    |BOOT|::|IndexedDirectProductCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE IndexedDirectProductCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|IndexedDirectProductCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER IndexedDirectProductCategory;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|::|IndexedDirectProductCategory;AL|)
    |BOOT|::|IndexedDirectProductCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 18 (DEFUN IndexedDirectProductCategory (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|::|IndexedDirectProductCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|IndexedDirectProductCategory|
       #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|::|IndexedDirectProductCategory;AL|
        |BOOT|::|assoc| |BOOT|::|IndexedDirectProductCategory;|
        |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(#:|20 90 (DEFUN IndexedDirectProductCategory; (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|::|IndexedDirectProductCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|IndexedDirectProductCategory;|
       #57Y(00 00 00 00 02 00 00 00 26 03 63 DA B0 B0 7B 02 70 01 0E 02 1C 0E
            DD 6F 04 DF E0 01 02 6E 04 07 30 08 0F 02 14 30 09 F8 14 E4 B1 B1
            7B 03 AC AF E5 2D 03 0C 16 01 15 19 04)
       ((|BOOT|::|t#1| |BOOT|::|t#2|) |BOOT|::|PAIR|
        |BOOT|::|IndexedDirectProductCategory;CAT| |BOOT|::|t#1|
        |BOOT|::|AbelianProductCategory|
        (((|BOOT|::|map|
           (|BOOT|::|$| (|BOOT|::|Mapping| |BOOT|::|t#1| |BOOT|::|t#1|)
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|monomial| (|BOOT|::|$| |BOOT|::|t#1| |BOOT|::|t#2|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|monomial?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|construct|
           (|BOOT|::|$|
            (|BOOT|::|List|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|k| |BOOT|::|t#2|)
              (|BOOT|::|:| |BOOT|::|c| |BOOT|::|t#1|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|listOfTerms|
           ((|BOOT|::|List|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|k| |BOOT|::|t#2|)
              (|BOOT|::|:| |BOOT|::|c| |BOOT|::|t#1|)))
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|numberOfMonomials|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leadingMonomial| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|)))
         ((|BOOT|::|leadingCoefficient| (|BOOT|::|t#1| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|)))
         ((|BOOT|::|leadingSupport| (|BOOT|::|t#2| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|)))
         ((|BOOT|::|reductum| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|)))
         ((|BOOT|::|constructOrdered|
           (|BOOT|::|$|
            (|BOOT|::|List|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|k| |BOOT|::|t#2|)
              (|BOOT|::|:| |BOOT|::|c| |BOOT|::|t#1|)))))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|)))
         ((|BOOT|::|leadingTerm|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|k| |BOOT|::|t#2|)
             (|BOOT|::|:| |BOOT|::|c| |BOOT|::|t#1|))
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|))))
        (((|BOOT|::|Comparable|)
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|Comparable|))
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Comparable|))))
         ((|BOOT|::|OrderedAbelianMonoid|)
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|OrderedAbelianMonoid|))
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|OrderedSet|))))
         ((|BOOT|::|OrderedAbelianMonoidSup|)
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|OrderedAbelianMonoidSup|))
           (|BOOT|::|has| |BOOT|::|t#2| (|BOOT|::|OrderedSet|)))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|IndexedDirectProductCategory| 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|))
