(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE GuessPolynomialInteger;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|GuessPolynomialInteger;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 22 (DEFUN GuessPolynomialInteger NIL ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessPolynomialInteger| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessPolynomialInteger|
       #75Y(03 00 01 00 00 00 00 00 26 01 63 DA 6B 01 38 01 80 6E 00 1C 22 53
            26 6B 01 63 DD 2E 04 5D 7A 7B 01 DA AE AE 31 6F 16 02 5B 5C 79 7E
            03 15 54 05 00 00 00 1D 0E 1B 11 5B 79 2F 02 19 02 05 00 00 00 1C
            05 DA 6B 01 31 70 55 19 02)
       (|BOOT|::|GuessPolynomialInteger| |BOOT|::|$ConstructorCache|
        |BOOT|::|CDRwithIncrement| 1. |BOOT|::|GuessPolynomialInteger;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|24 47 (DEFUN GuessPolynomialInteger; NIL ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessPolynomialInteger;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessPolynomialInteger;|
       #68Y(00 00 00 00 00 00 00 00 26 01 01 02 C5 F9 DB 2F 02 F8 AD AD C8 60
            DD DD 2E 04 14 6F 05 6F 06 E1 8B 08 08 2E 04 14 6F 05 E3 30 08 14
            7B 01 6E 03 0A AD D0 60 6B 0C E7 63 E8 A1 7A 2D 04 0F AC 2F 10 15
            19 02)
       ((|BOOT|::|GuessPolynomialInteger|) 26. |BOOT|::|GETREFV| 0.
        |BOOT|::|Integer| |BOOT|::|Polynomial| |BOOT|::|Fraction|
        (|BOOT|::|RetractableTo| (|BOOT|::|Symbol|)) |BOOT|::|HasCategory|
        (|BOOT|::|RetractableTo| (|BOOT|::|Symbol|)) |BOOT|::|buildPredVector|
        3. |BOOT|::|$ConstructorCache| |BOOT|::|GuessPolynomialInteger| 1.
        |BOOT|::|haddProp| |BOOT|::|stuffDomainSlots|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|49 718 (MAKEPROP 'GuessPolynomialInteger '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 63 30
        06 5D 5D 7A E4 7B 05 2D 03 0B 19 01)
   (|BOOT|::|GuessPolynomialInteger| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|GuessPolynomial| (|BOOT|::|Integer|))
      (|BOOT|::|Mapping| 20. 21. 22.) (|BOOT|::|Symbol|)
      (|BOOT|::|Mapping|
       (|BOOT|::|Stream|
        (|BOOT|::|UnivariateFormalPowerSeries|
         (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))))
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))))
      (|BOOT|::|Mapping| (|BOOT|::|Vector| (|BOOT|::|U32Vector|))
       (|BOOT|::|List| (|BOOT|::|U32Vector|)) (|BOOT|::|Integer|)
       (|BOOT|::|Integer|))
      (|BOOT|::|Mapping| 9. (|BOOT|::|NonNegativeInteger|))
      (|BOOT|::|Mapping|
       (|BOOT|::|Vector|
        (|BOOT|::|UnivariateFormalPowerSeries|
         (|BOOT|::|SparseMultivariatePolynomial|
          (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
          (|BOOT|::|NonNegativeInteger|))))
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|SparseMultivariatePolynomial|
         (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
         (|BOOT|::|NonNegativeInteger|))))
      (|BOOT|::|Mapping| 11. (|BOOT|::|List| (|BOOT|::|PositiveInteger|)))
      (|BOOT|::|Mapping|
       (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
       (|BOOT|::|Expression| (|BOOT|::|Integer|)) 7.)
      (|BOOT|::|Mapping| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
       (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|SparseUnivariatePolynomial|
        (|BOOT|::|Polynomial| (|BOOT|::|Integer|))))
      (|BOOT|::|Mapping|
       (|BOOT|::|SparseMultivariatePolynomial|
        (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
        (|BOOT|::|NonNegativeInteger|))
       (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|SparseMultivariatePolynomial|
         (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
         (|BOOT|::|NonNegativeInteger|))))
      (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
       (|BOOT|::|NonNegativeInteger|) 7.
       (|BOOT|::|Expression| (|BOOT|::|Integer|)))
      (|BOOT|::|Mapping|
       (|BOOT|::|List| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
       (|BOOT|::|NonNegativeInteger|))
      (|BOOT|::|Record|
       (|BOOT|::|:| |BOOT|::|degreeStream|
        (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
       (|BOOT|::|:| |BOOT|::|guessStream| 8.)
       (|BOOT|::|:| |BOOT|::|guessModGen| 10.)
       (|BOOT|::|:| |BOOT|::|testGen| 12.)
       (|BOOT|::|:| |BOOT|::|exprStream| 13.) (|BOOT|::|:| |BOOT|::|kind| 7.)
       (|BOOT|::|:| |BOOT|::|qvar| 7.) (|BOOT|::|:| |BOOT|::|A| 14.)
       (|BOOT|::|:| |BOOT|::|AF| 15.) (|BOOT|::|:| |BOOT|::|AX| 16.)
       (|BOOT|::|:| |BOOT|::|C| 17.))
      (|BOOT|::|Mapping| 18. 22.)
      (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
      (|BOOT|::|List|
       (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))))
      (|BOOT|::|List| (|BOOT|::|GuessOption|)) (|BOOT|::|List| 6.)
      (|BOOT|::|List| 7.) (|BOOT|::|List| 21.))
    #() 1. (0.) |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|guess|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List|
              (|BOOT|::|Fraction|
               (|BOOT|::|Polynomial| #1=(|BOOT|::|Integer|))))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List|
              (|BOOT|::|Mapping|
               (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
               (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
               (|BOOT|::|List| (|BOOT|::|GuessOption|))))
             (|BOOT|::|List| (|BOOT|::|Symbol|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List|
              (|BOOT|::|Mapping|
               (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
               (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
               (|BOOT|::|List| (|BOOT|::|GuessOption|))))
             (|BOOT|::|List| (|BOOT|::|Symbol|))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessAlgDep|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List|
              (|BOOT|::|List|
               (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlgDep|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List|
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessADE|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessADE|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessFE|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessFE|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlg|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlg|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPade|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPade|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRec|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRec|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRat|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRat|
            ((|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
             (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))))
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
                (|BOOT|::|Expression| (|BOOT|::|Integer|)) (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| (|BOOT|::|Polynomial| #1#)
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial|
                 (|BOOT|::|Polynomial| #1#))))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Symbol|)
                (|BOOT|::|Expression| (|BOOT|::|Integer|))))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Polynomial| #1#))
                (|BOOT|::|NonNegativeInteger|))))
             (|BOOT|::|List|
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))))
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
                (|BOOT|::|Expression| (|BOOT|::|Integer|)) (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| (|BOOT|::|Polynomial| #1#)
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial|
                 (|BOOT|::|Polynomial| #1#))))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Symbol|)
                (|BOOT|::|Expression| (|BOOT|::|Integer|))))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))))
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
                (|BOOT|::|Expression| (|BOOT|::|Integer|)) (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| (|BOOT|::|Polynomial| #1#)
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial|
                 (|BOOT|::|Polynomial| #1#))))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Symbol|)
                (|BOOT|::|Expression| (|BOOT|::|Integer|))))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))))
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                   (|BOOT|::|NonNegativeInteger|))))
                (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
              (|BOOT|::|:| |BOOT|::|exprStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
                (|BOOT|::|Expression| (|BOOT|::|Integer|)) (|BOOT|::|Symbol|)))
              (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
              (|BOOT|::|:| |BOOT|::|A|
               (|BOOT|::|Mapping| (|BOOT|::|Polynomial| #1#)
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial|
                 (|BOOT|::|Polynomial| #1#))))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial|
                 (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Symbol|)
                (|BOOT|::|Expression| (|BOOT|::|Integer|))))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))
                     (|BOOT|::|NonNegativeInteger|))))
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial|
                    (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
               (|BOOT|::|:| |BOOT|::|exprStream|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
                 (|BOOT|::|Expression| (|BOOT|::|Integer|))
                 (|BOOT|::|Symbol|)))
               (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|A|
                (|BOOT|::|Mapping| (|BOOT|::|Polynomial| #1#)
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|SparseUnivariatePolynomial|
                  (|BOOT|::|Polynomial| #1#))))
               (|BOOT|::|:| |BOOT|::|AF|
                (|BOOT|::|Mapping|
                 (|BOOT|::|SparseMultivariatePolynomial|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                  (|BOOT|::|NonNegativeInteger|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                   (|BOOT|::|NonNegativeInteger|)))))
               (|BOOT|::|:| |BOOT|::|AX|
                (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Symbol|)
                 (|BOOT|::|Expression| (|BOOT|::|Integer|))))
               (|BOOT|::|:| |BOOT|::|C|
                (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Polynomial| #1#))
                 (|BOOT|::|NonNegativeInteger|))))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|diffHP|
            ((|BOOT|::|Mapping|
              (|BOOT|::|Record|
               (|BOOT|::|:| |BOOT|::|degreeStream|
                (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
               (|BOOT|::|:| |BOOT|::|guessStream|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Stream|
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #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|::|Fraction| (|BOOT|::|Polynomial| #1#))
                     (|BOOT|::|NonNegativeInteger|))))
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial|
                    (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|List| (|BOOT|::|PositiveInteger|))))
               (|BOOT|::|:| |BOOT|::|exprStream|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Stream| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
                 (|BOOT|::|Expression| (|BOOT|::|Integer|))
                 (|BOOT|::|Symbol|)))
               (|BOOT|::|:| |BOOT|::|kind| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|qvar| (|BOOT|::|Symbol|))
               (|BOOT|::|:| |BOOT|::|A|
                (|BOOT|::|Mapping| (|BOOT|::|Polynomial| #1#)
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|SparseUnivariatePolynomial|
                  (|BOOT|::|Polynomial| #1#))))
               (|BOOT|::|:| |BOOT|::|AF|
                (|BOOT|::|Mapping|
                 (|BOOT|::|SparseMultivariatePolynomial|
                  (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                  (|BOOT|::|NonNegativeInteger|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial|
                   (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#))
                   (|BOOT|::|NonNegativeInteger|)))))
               (|BOOT|::|:| |BOOT|::|AX|
                (|BOOT|::|Mapping| (|BOOT|::|Expression| (|BOOT|::|Integer|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Symbol|)
                 (|BOOT|::|Expression| (|BOOT|::|Integer|))))
               (|BOOT|::|:| |BOOT|::|C|
                (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Polynomial| #1#))
                 (|BOOT|::|NonNegativeInteger|))))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessRec|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessRat|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessADE|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.))))
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|Mapping|
              (|BOOT|::|List| (|BOOT|::|Expression| (|BOOT|::|Integer|)))
              (|BOOT|::|List| (|BOOT|::|Fraction| (|BOOT|::|Polynomial| #1#)))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))
             (|BOOT|::|RetractableTo| 7.))
            (|BOOT|::|has|
             (|BOOT|::|Fraction| (|BOOT|::|Polynomial| (|BOOT|::|Integer|)))
             (|BOOT|::|RetractableTo| 7.)))))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    -999999. |BOOT|::|lookupIncomplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|720 720 (MAKEPROP 'GuessPolynomialInteger 'NILADIC ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|GuessPolynomialInteger| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
