(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER RecursivePolynomialCategory;CAT 'NIL)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|RecursivePolynomialCategory;CAT|)
    |BOOT|::|RecursivePolynomialCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE RecursivePolynomialCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|RecursivePolynomialCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER RecursivePolynomialCategory;AL 'NIL)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|RecursivePolynomialCategory;AL|)
    |BOOT|::|RecursivePolynomialCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 21 (DEFUN RecursivePolynomialCategory (t#1 t#2 t#3) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|RecursivePolynomialCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|RecursivePolynomialCategory|
       #50Y(00 00 00 00 03 00 00 00 26 04 63 B0 6F 00 B0 6F 00 B0 6F 00 7B 03
            AC 6B 01 30 02 F9 1C 11 AC 99 03 9F 37 00 FA 7A 6B 01 30 04 0F 01
            9E 19 06 5C 19 06)
       (|BOOT|::|devaluate| |BOOT|::|RecursivePolynomialCategory;AL|
        |BOOT|::|assoc| |BOOT|::|RecursivePolynomialCategory;| |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|23 252 (DEFUN RecursivePolynomialCategory; (t#1 t#2 t#3) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|RecursivePolynomialCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|RecursivePolynomialCategory;|
       #62Y(00 00 00 00 03 00 00 00 26 04 63 DA B1 B1 B1 7B 03 70 01 0E 02 1C
            11 DD DE DF 6E 03 06 E1 E2 01 02 6E 04 09 30 0A 0F 02 14 30 0B F8
            14 E6 B2 B2 B2 7B 04 AC AF E7 2D 03 0E 16 01 15 19 05)
       ((|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |BOOT|::|PAIR|
        |BOOT|::|RecursivePolynomialCategory;CAT| |BOOT|::|t#1| |BOOT|::|t#2|
        |BOOT|::|t#3| |BOOT|::|PolynomialCategory|
        (((|BOOT|::|mvar| (|BOOT|::|t#3| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|mdeg| ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|init| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|head| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|tail| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|deepestTail| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|iteratedInitials|
           ((|BOOT|::|List| |BOOT|::|$|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|deepestInitial| (|BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leadingCoefficient|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|reductum| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|monic?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|quasiMonic?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainMonomial| (|BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|leastMonomial| (|BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainCoefficients|
           ((|BOOT|::|List| |BOOT|::|$|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainMonomials| ((|BOOT|::|List| |BOOT|::|$|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|RittWuCompare|
           ((|BOOT|::|Union| (|BOOT|::|Boolean|) "failed") |BOOT|::|$|
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|infRittWu?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|supRittWu?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|reduced?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|reduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|headReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|headReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initiallyReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initiallyReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|normalized?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|normalized?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|prem| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|pquo| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|prem| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|pquo| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPrem| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPquo| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPrem|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPquo|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPremWithDefault|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|coef| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|gap| (|BOOT|::|NonNegativeInteger|))
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPremWithDefault|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|coef| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|gap| (|BOOT|::|NonNegativeInteger|))
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPseudoDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|coef| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|gap| (|BOOT|::|NonNegativeInteger|))
             (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyPseudoDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|coef| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|gap| (|BOOT|::|NonNegativeInteger|))
             (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|pseudoDivide|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|monicModulo| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lazyResidueClass|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|polnum| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|polden| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|power| (|BOOT|::|NonNegativeInteger|)))
            |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|headReduce| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initiallyReduce| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|retractIfCan|
           ((|BOOT|::|Union| |BOOT|::|$| "failed")
            (|BOOT|::|Polynomial| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|))))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|)))))
         ((|BOOT|::|retract|
           (|BOOT|::|$|
            (|BOOT|::|Polynomial| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|))))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|)))))
         ((|BOOT|::|convert|
           (|BOOT|::|$|
            (|BOOT|::|Polynomial| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|))))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|)))))
         ((|BOOT|::|retractIfCan|
           ((|BOOT|::|Union| |BOOT|::|$| "failed")
            (|BOOT|::|Polynomial| (|BOOT|::|Integer|))))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|Algebra| (|BOOT|::|Integer|)))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|)))))
         ((|BOOT|::|retract|
           (|BOOT|::|$| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|Algebra| (|BOOT|::|Integer|)))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|)))))
         ((|BOOT|::|convert|
           (|BOOT|::|$| (|BOOT|::|Polynomial| (|BOOT|::|Integer|))))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|Algebra| (|BOOT|::|Integer|)))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|)))))
         ((|BOOT|::|retractIfCan|
           ((|BOOT|::|Union| |BOOT|::|$| "failed")
            (|BOOT|::|Polynomial| |BOOT|::|t#1|)))
          (|BOOT|::|has| |BOOT|::|t#3|
           (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|))))
         ((|BOOT|::|retract|
           (|BOOT|::|$| (|BOOT|::|Polynomial| |BOOT|::|t#1|)))
          (|BOOT|::|has| |BOOT|::|t#3|
           (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|))))
         ((|BOOT|::|convert|
           (|BOOT|::|$| (|BOOT|::|Polynomial| |BOOT|::|t#1|)))
          (|BOOT|::|has| |BOOT|::|t#3|
           (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|))))
         ((|BOOT|::|primPartElseUnitCanonical| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|primPartElseUnitCanonical!| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|exactQuotient| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|exactQuotient!| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|exactQuotient| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|exactQuotient!| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|subResultantGcd| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|extendedSubResultantGcd|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|gcd| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|coef1| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|coef2| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|halfExtendedSubResultantGcd1|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|gcd| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|coef1| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|halfExtendedSubResultantGcd2|
           ((|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|gcd| |BOOT|::|$|)
             (|BOOT|::|:| |BOOT|::|coef2| |BOOT|::|$|))
            |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|resultant| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|subResultantChain|
           ((|BOOT|::|List| |BOOT|::|$|) |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|lastSubResultant| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|LazardQuotient|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|
            (|BOOT|::|NonNegativeInteger|)))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|LazardQuotient2|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|
            (|BOOT|::|NonNegativeInteger|)))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|next_subResultant2|
           (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|iexactQuo| (|BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegralDomain|)))
         ((|BOOT|::|gcd| (|BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|primitivePart!| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|mainContent| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|mainPrimitivePart| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|)))
         ((|BOOT|::|mainSquareFreePart| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|GcdDomain|))))
        (((|BOOT|::|CoercibleTo| (|BOOT|::|Polynomial| |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#3|
           (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|))))
         ((|BOOT|::|ConvertibleTo| (|BOOT|::|Polynomial| |BOOT|::|t#1|))
          (|BOOT|::|has| |BOOT|::|t#3|
           (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|))))
         ((|BOOT|::|ConvertibleTo| (|BOOT|::|String|))
          (|COMMON-LISP|::|AND|
           (|BOOT|::|has| |BOOT|::|t#1|
            (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)))
           (|BOOT|::|has| |BOOT|::|t#3|
            (|BOOT|::|ConvertibleTo| (|BOOT|::|Symbol|))))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|RecursivePolynomialCategory| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
