(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE GuessFinite;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|GuessFinite;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 18 (DEFUN GuessFinite (G716) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessFinite| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessFinite|
       #66Y(03 00 01 00 01 00 00 00 20 02 63 AE 6F 00 7B 01 DB 6B 02 38 01 71
            6E DD 2D 03 04 F8 1C 11 53 14 B0 6F 06 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|::|devaluate| |BOOT|::|GuessFinite| |BOOT|::|$ConstructorCache|
        |BOOT|::|domainEqualList| |BOOT|::|lassocShiftWithFunction|
        |BOOT|::|CDRwithIncrement| |BOOT|::|GuessFinite;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|20 39 (DEFUN GuessFinite; (#1) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessFinite;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessFinite;|
       #65Y(00 00 00 00 01 00 00 00 26 02 01 03 B0 2F 00 F8 DB AD 61 02 F9 DC
            2F 03 FA AD AF C9 60 DE DE B2 DF 70 06 7B 01 6E 03 07 AF CD 60 6B
            09 DB AE 7B 01 E4 A3 7A 2D 04 0B AE 2F 0C B0 AF D2 60 9F 19 05)
       (|BOOT|::|devaluate| |BOOT|::|GuessFinite| 31. |BOOT|::|GETREFV| 0.
        (|BOOT|::|RetractableTo| (|BOOT|::|Symbol|)) |BOOT|::|HasCategory|
        |BOOT|::|buildPredVector| 3. |BOOT|::|$ConstructorCache| 1.
        |BOOT|::|haddProp| |BOOT|::|stuffDomainSlots| 6.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|41 537 (MAKEPROP 'GuessFinite 'infovec ...)-4|
   #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|::|GuessFinite| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|Guess| 6. 6. 7.
       (|BOOT|::|NRTEVAL| (|COMMON-LISP|::|ELT| |BOOT|::|$| 9.))
       (|BOOT|::|NRTEVAL| (|COMMON-LISP|::|ELT| |BOOT|::|$| 10.)))
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|Expression| (|BOOT|::|Integer|))
      (|BOOT|::|GuessFiniteFunctions| 6.) (0. . |BOOT|::|EXPRR2F|)
      (5. . |BOOT|::|F2EXPRR|) (|BOOT|::|Mapping| 25. 26. 27.)
      (|BOOT|::|Symbol|)
      (|BOOT|::|Mapping|
       (|BOOT|::|Stream| (|BOOT|::|UnivariateFormalPowerSeries| 6.))
       (|BOOT|::|UnivariateFormalPowerSeries| 6.))
      (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
       (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
       (|BOOT|::|Integer|))
      (|BOOT|::|Mapping| 14. (|BOOT|::|NonNegativeInteger|))
      (|BOOT|::|Mapping|
       (|BOOT|::|Vector|
        (|BOOT|::|UnivariateFormalPowerSeries|
         (|BOOT|::|SparseMultivariatePolynomial| 6.
          (|BOOT|::|NonNegativeInteger|))))
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|SparseMultivariatePolynomial| 6.
         (|BOOT|::|NonNegativeInteger|))))
      (|BOOT|::|Mapping| 16. (|BOOT|::|List| (|BOOT|::|PositiveInteger|)))
      (|BOOT|::|Mapping| (|BOOT|::|Stream| 7.) 7. 12.)
      (|BOOT|::|Mapping| 6. (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|SparseUnivariatePolynomial| 6.))
      (|BOOT|::|Mapping|
       (|BOOT|::|SparseMultivariatePolynomial| 6.
        (|BOOT|::|NonNegativeInteger|))
       (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|SparseMultivariatePolynomial| 6.
         (|BOOT|::|NonNegativeInteger|))))
      (|BOOT|::|Mapping| 7. (|BOOT|::|NonNegativeInteger|) 12. 7.)
      (|BOOT|::|Mapping| 26. (|BOOT|::|NonNegativeInteger|))
      (|BOOT|::|Record|
       (|BOOT|::|:| |BOOT|::|degreeStream|
        (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
       (|BOOT|::|:| |BOOT|::|guessStream| 13.)
       (|BOOT|::|:| |BOOT|::|guessModGen| 15.)
       (|BOOT|::|:| |BOOT|::|testGen| 17.)
       (|BOOT|::|:| |BOOT|::|exprStream| 18.) (|BOOT|::|:| |BOOT|::|kind| 12.)
       (|BOOT|::|:| |BOOT|::|qvar| 12.) (|BOOT|::|:| |BOOT|::|A| 19.)
       (|BOOT|::|:| |BOOT|::|AF| 20.) (|BOOT|::|:| |BOOT|::|AX| 21.)
       (|BOOT|::|:| |BOOT|::|C| 22.))
      (|BOOT|::|Mapping| 23. 27.) (|BOOT|::|List| 7.) (|BOOT|::|List| 6.)
      (|BOOT|::|List| (|BOOT|::|GuessOption|)) (|BOOT|::|List| 11.)
      (|BOOT|::|List| 12.) (|BOOT|::|List| 26.))
    #() 1. (0.) |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1=(|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List|
              (|BOOT|::|Mapping| (|BOOT|::|List| #1#)
               (|BOOT|::|List| |BOOT|::|#1|)
               (|BOOT|::|List| (|BOOT|::|GuessOption|))))
             (|BOOT|::|List| (|BOOT|::|Symbol|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List|
              (|BOOT|::|Mapping| (|BOOT|::|List| #1#)
               (|BOOT|::|List| |BOOT|::|#1|)
               (|BOOT|::|List| (|BOOT|::|GuessOption|))))
             (|BOOT|::|List| (|BOOT|::|Symbol|))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessAlgDep|
            ((|BOOT|::|List| #1#)
             (|BOOT|::|List| (|BOOT|::|List| |BOOT|::|#1|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlgDep|
            ((|BOOT|::|List| #1#)
             (|BOOT|::|List| (|BOOT|::|List| |BOOT|::|#1|))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessADE|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessADE|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessFE|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessFE|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlg|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlg|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPade|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPade|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRec|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRec|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| |BOOT|::|#1|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|algDepHP|
            ((|BOOT|::|Record|
              (|BOOT|::|:| |BOOT|::|degreeStream|
               (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|guessStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream|
                 (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|))
                (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|guessModGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
                 (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
                 (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|testGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Vector|
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping| (|BOOT|::|Stream| #1#) #1#
                (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| |BOOT|::|#1|)
                (|BOOT|::|NonNegativeInteger|))))
             (|BOOT|::|List| (|BOOT|::|List| |BOOT|::|#1|))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|diffHP|
            ((|BOOT|::|Record|
              (|BOOT|::|:| |BOOT|::|degreeStream|
               (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|guessStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream|
                 (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|))
                (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|guessModGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
                 (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
                 (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|testGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Vector|
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping| (|BOOT|::|Stream| #1#) #1#
                (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| |BOOT|::|#1|)
                (|BOOT|::|NonNegativeInteger|))))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|substHP|
            ((|BOOT|::|Record|
              (|BOOT|::|:| |BOOT|::|degreeStream|
               (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|guessStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream|
                 (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|))
                (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|guessModGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
                 (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
                 (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|testGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Vector|
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping| (|BOOT|::|Stream| #1#) #1#
                (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| |BOOT|::|#1|)
                (|BOOT|::|NonNegativeInteger|))))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|shiftHP|
            ((|BOOT|::|Record|
              (|BOOT|::|:| |BOOT|::|degreeStream|
               (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|guessStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream|
                 (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|))
                (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|guessModGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
                 (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
                 (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|testGen|
               (|BOOT|::|Mapping|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Vector|
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping| (|BOOT|::|Stream| #1#) #1#
                (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|#1|)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| |BOOT|::|#1|)
                (|BOOT|::|NonNegativeInteger|))))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|shiftHP|
            ((|BOOT|::|Mapping|
              (|BOOT|::|Record|
               (|BOOT|::|:| |BOOT|::|degreeStream|
                (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
               (|BOOT|::|:| |BOOT|::|guessStream|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Stream|
                  (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|))
                 (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|)))
               (|BOOT|::|:| |BOOT|::|guessModGen|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
                  (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
                  (|BOOT|::|Integer|))
                 (|BOOT|::|NonNegativeInteger|)))
               (|BOOT|::|:| |BOOT|::|testGen|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Mapping|
                  (|BOOT|::|Vector|
                   (|BOOT|::|UnivariateFormalPowerSeries|
                    (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                     (|BOOT|::|NonNegativeInteger|))))
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
               (|BOOT|::|:| |BOOT|::|exprStream|
                (|BOOT|::|Mapping| (|BOOT|::|Stream| #1#) #1#
                 (|BOOT|::|Symbol|)))
               (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|A|
                (|BOOT|::|Mapping| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|#1|)))
               (|BOOT|::|:| |BOOT|::|AF|
                (|BOOT|::|Mapping|
                 (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                  (|BOOT|::|NonNegativeInteger|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                   (|BOOT|::|NonNegativeInteger|)))))
               (|BOOT|::|:| |BOOT|::|AX|
                (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|Symbol|) #1#))
               (|BOOT|::|:| |BOOT|::|C|
                (|BOOT|::|Mapping| (|BOOT|::|List| |BOOT|::|#1|)
                 (|BOOT|::|NonNegativeInteger|))))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|diffHP|
            ((|BOOT|::|Mapping|
              (|BOOT|::|Record|
               (|BOOT|::|:| |BOOT|::|degreeStream|
                (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
               (|BOOT|::|:| |BOOT|::|guessStream|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Stream|
                  (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|))
                 (|BOOT|::|UnivariateFormalPowerSeries| |BOOT|::|#1|)))
               (|BOOT|::|:| |BOOT|::|guessModGen|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
                  (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
                  (|BOOT|::|Integer|))
                 (|BOOT|::|NonNegativeInteger|)))
               (|BOOT|::|:| |BOOT|::|testGen|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Mapping|
                  (|BOOT|::|Vector|
                   (|BOOT|::|UnivariateFormalPowerSeries|
                    (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                     (|BOOT|::|NonNegativeInteger|))))
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
               (|BOOT|::|:| |BOOT|::|exprStream|
                (|BOOT|::|Mapping| (|BOOT|::|Stream| #1#) #1#
                 (|BOOT|::|Symbol|)))
               (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|A|
                (|BOOT|::|Mapping| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|#1|)))
               (|BOOT|::|:| |BOOT|::|AF|
                (|BOOT|::|Mapping|
                 (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                  (|BOOT|::|NonNegativeInteger|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| |BOOT|::|#1|
                   (|BOOT|::|NonNegativeInteger|)))))
               (|BOOT|::|:| |BOOT|::|AX|
                (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|Symbol|) #1#))
               (|BOOT|::|:| |BOOT|::|C|
                (|BOOT|::|Mapping| (|BOOT|::|List| |BOOT|::|#1|)
                 (|BOOT|::|NonNegativeInteger|))))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessRec|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessRat|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessADE|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))))
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#)
              (|BOOT|::|List| |BOOT|::|#1|)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 12.)))))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    10. (1. 8. 6. 7. 9. 1. 8. 7. 6. 10.) |BOOT|::|lookupIncomplete|
    |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
