
(/VERSIONCHECK 2) 

(DEFUN |INDE;coerceOF| (|t| $)
  (COND ((EQL (QCDR |t|) 1) (SPADCALL (QCAR |t|) (QREFELT $ 10)))
        ('T
         (SPADCALL (SPADCALL (QCAR |t|) (QREFELT $ 10))
                   (SPADCALL (QCDR |t|) (QREFELT $ 12)) (QREFELT $ 13))))) 

(DEFUN |INDE;coerce;$Of;2| (|x| $)
  (PROG (#1=#:G675 |t| #2=#:G674)
    (RETURN
     (SEQ
      (COND ((NULL |x|) (SPADCALL 1 (QREFELT $ 15)))
            ((NULL (CDR |x|)) (|INDE;coerceOF| (|SPADfirst| |x|) $))
            ('T
             (SPADCALL (ELT $ 16)
                       (PROGN
                        (LETT #2# NIL . #3=(|INDE;coerce;$Of;2|))
                        (SEQ (LETT |t| NIL . #3#) (LETT #1# |x| . #3#) G190
                             (COND
                              ((OR (ATOM #1#)
                                   (PROGN (LETT |t| (CAR #1#) . #3#) NIL))
                               (GO G191)))
                             (SEQ
                              (EXIT
                               (LETT #2# (CONS (|INDE;coerceOF| |t| $) #2#)
                                     . #3#)))
                             (LETT #1# (CDR #1#) . #3#) (GO G190) G191
                             (EXIT (NREVERSE0 #2#))))
                       (QREFELT $ 19)))))))) 

(DEFUN |IndexedExponents| (#1=#:G682)
  (PROG ()
    (RETURN
     (PROG (#2=#:G683)
       (RETURN
        (COND
         ((LETT #2#
                (|lassocShiftWithFunction| (LIST (|devaluate| #1#))
                                           (HGET |$ConstructorCache|
                                                 '|IndexedExponents|)
                                           '|domainEqualList|)
                . #3=(|IndexedExponents|))
          (|CDRwithIncrement| #2#))
         ('T
          (UNWIND-PROTECT (PROG1 (|IndexedExponents;| #1#) (LETT #2# T . #3#))
            (COND
             ((NOT #2#) (HREM |$ConstructorCache| '|IndexedExponents|))))))))))) 

(DEFUN |IndexedExponents;| (|#1|)
  (PROG (|pv$| $ |dv$| DV$1)
    (RETURN
     (PROGN
      (LETT DV$1 (|devaluate| |#1|) . #1=(|IndexedExponents|))
      (LETT |dv$| (LIST '|IndexedExponents| DV$1) . #1#)
      (LETT $ (GETREFV 29) . #1#)
      (QSETREFV $ 0 |dv$|)
      (QSETREFV $ 3 (LETT |pv$| (|buildPredVector| 0 0 NIL) . #1#))
      (|haddProp| |$ConstructorCache| '|IndexedExponents| (LIST DV$1)
                  (CONS 1 $))
      (|stuffDomainSlots| $)
      (QSETREFV $ 6 |#1|)
      (QSETREFV $ 7 (|Record| (|:| |k| |#1|) (|:| |c| (|NonNegativeInteger|))))
      (QSETREFV $ 8 (|List| (QREFELT $ 7)))
      $)))) 

(MAKEPROP '|IndexedExponents| '|infovec|
          (LIST
           '#(NIL NIL NIL NIL NIL
              (|IndexedDirectProductOrderedAbelianMonoidSup| 11 6)
              (|local| |#1|) '|Term| '|Rep| (|OutputForm|) (0 . |coerce|)
              (|NonNegativeInteger|) (5 . |coerce|) (10 . ^) (|Integer|)
              (16 . |coerce|) (21 . *) (|Mapping| 9 9 9) (|List| 9)
              (27 . |reduce|) |INDE;coerce;$Of;2| (|Mapping| 11 11)
              (|Record| (|:| |k| 6) (|:| |c| 11)) (|List| 22)
              (|Union| $ '"failed") (|Boolean|) (|PositiveInteger|) (|String|)
              (|SingleInteger|))
           '#(|coerce| 33) 'NIL
           (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0 0))
                 (CONS
                  '#(NIL NIL NIL NIL NIL |OrderedSet&| |AbelianMonoid&| NIL NIL
                     |AbelianSemiGroup&| |SetCategory&| |BasicType&| NIL)
                  (CONS
                   '#((|OrderedAbelianMonoidSup|)
                      (|OrderedCancellationAbelianMonoid|)
                      (|OrderedAbelianMonoid|) (|OrderedAbelianSemiGroup|)
                      (|CancellationAbelianMonoid|) (|OrderedSet|)
                      (|AbelianMonoid|) (|Comparable|)
                      (|IndexedDirectProductCategory| 11 6)
                      (|AbelianSemiGroup|) (|SetCategory|) (|BasicType|)
                      (|CoercibleTo| 9))
                   (|makeByteWordVec2| 20
                                       '(1 6 9 0 10 1 11 9 0 12 2 9 0 0 0 13 1
                                         14 9 0 15 2 9 0 0 0 16 2 18 9 17 0 19
                                         1 0 9 0 20)))))
           '|lookupIncomplete|)) 
