
(/VERSIONCHECK 2) 

(DEFUN |GuessFinite| (#0=#:G135528)
  (PROG ()
    (RETURN
      (PROG (#1=#:G135529)
        (RETURN
          (COND
            ((LETT #1#
                   (|lassocShiftWithFunction| (LIST (|devaluate| #0#))
                       (HGET |$ConstructorCache| '|GuessFinite|)
                       '|domainEqualList|)
                   . #2=(|GuessFinite|))
             (|CDRwithIncrement| #1#))
            ('T
             (UNWIND-PROTECT
               (PROG1 (|GuessFinite;| #0#) (LETT #1# T . #2#))
               (COND
                 ((NOT #1#) (HREM |$ConstructorCache| '|GuessFinite|))))))))))) 

(DEFUN |GuessFinite;| (|#1|)
  (PROG (DV$1 |dv$| $ |pv$|)
    (RETURN
      (PROGN
        (LETT DV$1 (|devaluate| |#1|) . #0=(|GuessFinite|))
        (LETT |dv$| (LIST '|GuessFinite| DV$1) . #0#)
        (LETT $ (GETREFV 29) . #0#)
        (QSETREFV $ 0 |dv$|)
        (QSETREFV $ 3
            (LETT |pv$|
                  (|buildPredVector| 0 0
                      (LIST (|HasCategory| |#1|
                                '(|RetractableTo| (|Symbol|))))) . #0#))
        (|haddProp| |$ConstructorCache| '|GuessFinite| (LIST DV$1)
            (CONS 1 $))
        (|stuffDomainSlots| $)
        (QSETREFV $ 6 |#1|)
        $)))) 

(MAKEPROP '|GuessFinite| '|infovec|
    (LIST '#(NIL NIL NIL NIL NIL
             (|Guess| 6 6 9 7 (NRTEVAL (ELT $ 8)) (NRTEVAL (ELT $ 11)))
             (|local| |#1|) (|Integer|) (0 . |coerce|) (|Expression| 7)
             (|GuessFiniteFunctions| 6) (5 . F2EXPRR)
             (|Record| (|:| |function| 9)
                 (|:| |order| (|NonNegativeInteger|)))
             (|Mapping| 24 25 26) (|Symbol|)
             (|Mapping| (|Stream| (|UnivariateFormalPowerSeries| 6))
                 (|UnivariateFormalPowerSeries| 6))
             (|Mapping|
                 (|Stream|
                     (|UnivariateFormalPowerSeries|
                         (|SparseUnivariatePolynomial| 6)))
                 (|UnivariateFormalPowerSeries|
                     (|SparseUnivariatePolynomial| 6)))
             (|Mapping| (|Stream| 9) 9 14)
             (|Mapping| 6 (|NonNegativeInteger|) (|NonNegativeInteger|)
                 (|SparseUnivariatePolynomial| 6))
             (|Mapping| (|SparseUnivariatePolynomial| 6)
                 (|NonNegativeInteger|) (|NonNegativeInteger|)
                 (|UnivariateFormalPowerSeries|
                     (|SparseUnivariatePolynomial| 6)))
             (|Mapping| 9 (|NonNegativeInteger|) 14 9)
             (|Mapping| 25 (|NonNegativeInteger|))
             (|Record| (|:| |guessStream| 15)
                 (|:| |degreeStream| (|Stream| (|NonNegativeInteger|)))
                 (|:| |testStream| 16) (|:| |exprStream| 17) (|:| A 18)
                 (|:| AF 19) (|:| AX 20) (|:| C 21))
             (|Mapping| 22 26) (|List| 12) (|List| 6)
             (|List| (|GuessOption|)) (|List| 13) (|List| 14))
          '#() 'NIL
          (CONS (|makeByteWordVec2| 1 'NIL)
                (CONS '#()
                      (CONS '#()
                            (|makeByteWordVec2| 11
                                '(1 6 0 7 8 1 10 9 6 11)))))
          '|lookupIncomplete|)) 
