(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE GuessInteger;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|GuessInteger;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 19 (DEFUN GuessInteger NIL ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessInteger| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessInteger|
       #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|::|GuessInteger| |BOOT|::|$ConstructorCache|
        |BOOT|::|CDRwithIncrement| 1. |BOOT|::|GuessInteger;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|21 41 (DEFUN GuessInteger; NIL ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessInteger;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessInteger;|
       #64Y(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 E0 8B 07 06 2E 04 14 E2 30 07 14 7B 01 6E 03
            09 AD CF 60 6B 0B E6 63 E7 A1 7A 2D 04 0E AC 2F 0F 15 19 02)
       ((|BOOT|::|GuessInteger|) 30. |BOOT|::|GETREFV| 0. |BOOT|::|Integer|
        |BOOT|::|Fraction| (|BOOT|::|RetractableTo| (|BOOT|::|Symbol|))
        |BOOT|::|HasCategory| (|BOOT|::|RetractableTo| (|BOOT|::|Symbol|))
        |BOOT|::|buildPredVector| 3. |BOOT|::|$ConstructorCache|
        |BOOT|::|GuessInteger| 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(#:|43 536 (MAKEPROP 'GuessInteger '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|::|GuessInteger| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|Guess| 6. (|BOOT|::|Integer|) 7.
       (|BOOT|::|NRTEVAL| (|COMMON-LISP|::|ELT| |BOOT|::|$| 8.))
       (|BOOT|::|NRTEVAL| (|COMMON-LISP|::|ELT| |BOOT|::|$| 9.)))
      (|BOOT|::|Fraction| (|BOOT|::|Integer|))
      (|BOOT|::|Expression| (|BOOT|::|Integer|)) (0. . |BOOT|::|retract|)
      (5. . |BOOT|::|coerce|) (|BOOT|::|Mapping| 24. 25. 26.)
      (|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| 13. (|BOOT|::|NonNegativeInteger|))
      (|BOOT|::|Mapping|
       (|BOOT|::|Vector|
        (|BOOT|::|UnivariateFormalPowerSeries|
         (|BOOT|::|SparseMultivariatePolynomial| 6.
          (|BOOT|::|NonNegativeInteger|))))
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|SparseMultivariatePolynomial| 6.
         (|BOOT|::|NonNegativeInteger|))))
      (|BOOT|::|Mapping| 15. (|BOOT|::|List| (|BOOT|::|PositiveInteger|)))
      (|BOOT|::|Mapping| (|BOOT|::|Stream| 7.) 7. 11.)
      (|BOOT|::|Mapping| (|BOOT|::|Integer|) (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|SparseUnivariatePolynomial| (|BOOT|::|Integer|)))
      (|BOOT|::|Mapping|
       (|BOOT|::|SparseMultivariatePolynomial| 6.
        (|BOOT|::|NonNegativeInteger|))
       (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
       (|BOOT|::|UnivariateFormalPowerSeries|
        (|BOOT|::|SparseMultivariatePolynomial| 6.
         (|BOOT|::|NonNegativeInteger|))))
      (|BOOT|::|Mapping| 7. (|BOOT|::|NonNegativeInteger|) 11. 7.)
      (|BOOT|::|Mapping| (|BOOT|::|List| (|BOOT|::|Integer|))
       (|BOOT|::|NonNegativeInteger|))
      (|BOOT|::|Record|
       (|BOOT|::|:| |BOOT|::|degreeStream|
        (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
       (|BOOT|::|:| |BOOT|::|guessStream| 12.)
       (|BOOT|::|:| |BOOT|::|guessModGen| 14.)
       (|BOOT|::|:| |BOOT|::|testGen| 16.)
       (|BOOT|::|:| |BOOT|::|exprStream| 17.) (|BOOT|::|:| |BOOT|::|kind| 11.)
       (|BOOT|::|:| |BOOT|::|qvar| 11.) (|BOOT|::|:| |BOOT|::|A| 18.)
       (|BOOT|::|:| |BOOT|::|AF| 19.) (|BOOT|::|:| |BOOT|::|AX| 20.)
       (|BOOT|::|:| |BOOT|::|C| 21.))
      (|BOOT|::|Mapping| 22. 26.) (|BOOT|::|List| 7.) (|BOOT|::|List| 6.)
      (|BOOT|::|List| (|BOOT|::|GuessOption|)) (|BOOT|::|List| 10.)
      (|BOOT|::|List| 11.) (|BOOT|::|List| 25.))
    #() 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| #2=(|BOOT|::|Fraction| (|BOOT|::|Integer|)))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List|
              (|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
               (|BOOT|::|List| (|BOOT|::|GuessOption|))))
             (|BOOT|::|List| (|BOOT|::|Symbol|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guess|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List|
              (|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
               (|BOOT|::|List| (|BOOT|::|GuessOption|))))
             (|BOOT|::|List| (|BOOT|::|Symbol|))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessBinRat| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessExpRat|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessBinRat|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessAlgDep|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| (|BOOT|::|List| #2#))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlgDep|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| (|BOOT|::|List| #2#))
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessADE| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessADE|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessFE| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessFE|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlg| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessAlg|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessHolo| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPade|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPade| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRec| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRec|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessPRec| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRat|
            ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
             (|BOOT|::|List| (|BOOT|::|GuessOption|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|guessRat| ((|BOOT|::|List| #1#) (|BOOT|::|List| #2#)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|algDepHP|
            ((|BOOT|::|Record|
              (|BOOT|::|:| |BOOT|::|degreeStream|
               (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
              (|BOOT|::|:| |BOOT|::|guessStream|
               (|BOOT|::|Mapping|
                (|BOOT|::|Stream| (|BOOT|::|UnivariateFormalPowerSeries| #2#))
                (|BOOT|::|UnivariateFormalPowerSeries| #2#)))
              (|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| #2#
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| #2#
                   (|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| #3=(|BOOT|::|Integer|)
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| #3#)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| #2#
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| #2#
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| #3#)
                (|BOOT|::|NonNegativeInteger|))))
             (|BOOT|::|List| (|BOOT|::|List| #2#))
             (|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| #2#))
                (|BOOT|::|UnivariateFormalPowerSeries| #2#)))
              (|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| #2#
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| #2#
                   (|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| #3# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| #3#)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| #2#
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| #2#
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| #3#)
                (|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| #2#))
                (|BOOT|::|UnivariateFormalPowerSeries| #2#)))
              (|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| #2#
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| #2#
                   (|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| #3# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| #3#)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| #2#
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| #2#
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| #3#)
                (|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| #2#))
                (|BOOT|::|UnivariateFormalPowerSeries| #2#)))
              (|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| #2#
                    (|BOOT|::|NonNegativeInteger|))))
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| #2#
                   (|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| #3# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|SparseUnivariatePolynomial| #3#)))
              (|BOOT|::|:| |BOOT|::|AF|
               (|BOOT|::|Mapping|
                (|BOOT|::|SparseMultivariatePolynomial| #2#
                 (|BOOT|::|NonNegativeInteger|))
                (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|UnivariateFormalPowerSeries|
                 (|BOOT|::|SparseMultivariatePolynomial| #2#
                  (|BOOT|::|NonNegativeInteger|)))))
              (|BOOT|::|:| |BOOT|::|AX|
               (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                (|BOOT|::|Symbol|) #1#))
              (|BOOT|::|:| |BOOT|::|C|
               (|BOOT|::|Mapping| (|BOOT|::|List| #3#)
                (|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| #2#))
                 (|BOOT|::|UnivariateFormalPowerSeries| #2#)))
               (|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| #2#
                     (|BOOT|::|NonNegativeInteger|))))
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| #2#
                    (|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| #3# (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|SparseUnivariatePolynomial| #3#)))
               (|BOOT|::|:| |BOOT|::|AF|
                (|BOOT|::|Mapping|
                 (|BOOT|::|SparseMultivariatePolynomial| #2#
                  (|BOOT|::|NonNegativeInteger|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| #2#
                   (|BOOT|::|NonNegativeInteger|)))))
               (|BOOT|::|:| |BOOT|::|AX|
                (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|Symbol|) #1#))
               (|BOOT|::|:| |BOOT|::|C|
                (|BOOT|::|Mapping| (|BOOT|::|List| #3#)
                 (|BOOT|::|NonNegativeInteger|))))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|diffHP|
            ((|BOOT|::|Mapping|
              (|BOOT|::|Record|
               (|BOOT|::|:| |BOOT|::|degreeStream|
                (|BOOT|::|Stream| (|BOOT|::|NonNegativeInteger|)))
               (|BOOT|::|:| |BOOT|::|guessStream|
                (|BOOT|::|Mapping|
                 (|BOOT|::|Stream| (|BOOT|::|UnivariateFormalPowerSeries| #2#))
                 (|BOOT|::|UnivariateFormalPowerSeries| #2#)))
               (|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| #2#
                     (|BOOT|::|NonNegativeInteger|))))
                  (|BOOT|::|UnivariateFormalPowerSeries|
                   (|BOOT|::|SparseMultivariatePolynomial| #2#
                    (|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| #3# (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|SparseUnivariatePolynomial| #3#)))
               (|BOOT|::|:| |BOOT|::|AF|
                (|BOOT|::|Mapping|
                 (|BOOT|::|SparseMultivariatePolynomial| #2#
                  (|BOOT|::|NonNegativeInteger|))
                 (|BOOT|::|NonNegativeInteger|) (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|UnivariateFormalPowerSeries|
                  (|BOOT|::|SparseMultivariatePolynomial| #2#
                   (|BOOT|::|NonNegativeInteger|)))))
               (|BOOT|::|:| |BOOT|::|AX|
                (|BOOT|::|Mapping| #1# (|BOOT|::|NonNegativeInteger|)
                 (|BOOT|::|Symbol|) #1#))
               (|BOOT|::|:| |BOOT|::|C|
                (|BOOT|::|Mapping| (|BOOT|::|List| #3#)
                 (|BOOT|::|NonNegativeInteger|))))
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessRec|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessPRec|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessRat|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessADE|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.))))
         '((|BOOT|::|guessHolo|
            ((|BOOT|::|Mapping| (|BOOT|::|List| #1#) (|BOOT|::|List| #2#)
              (|BOOT|::|List| (|BOOT|::|GuessOption|)))
             (|BOOT|::|Symbol|)))
           (|COMMON-LISP|::|AND|
            (|BOOT|::|has| (|BOOT|::|Integer|) (|BOOT|::|RetractableTo| 11.))
            (|BOOT|::|has| 6. (|BOOT|::|RetractableTo| 11.)))))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    9. (1. 7. 6. 0. 8. 1. 7. 0. 6. 9.) |BOOT|::|lookupIncomplete|
    |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|538 538 (MAKEPROP 'GuessInteger 'NILADIC ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|GuessInteger| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
