(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE ExpressionSpace;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|ExpressionSpace;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DEFPARAMETER ExpressionSpace;AL 'NIL)-2|
   #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|::|ExpressionSpace;AL|)
    |BOOT|::|ExpressionSpace;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 8 (DEFUN ExpressionSpace NIL ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|ExpressionSpace| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|ExpressionSpace|
       #22Y(00 00 00 00 00 00 00 00 26 01 0E 00 1E 06 2E 01 0F 00 19 01 19 01)
       (|BOOT|::|ExpressionSpace;AL| |BOOT|::|ExpressionSpace;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|10 99 (DEFUN ExpressionSpace; NIL ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|ExpressionSpace;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|ExpressionSpace;|
       #53Y(00 00 00 00 00 00 00 00 26 01 63 DA DB DC 7B 02 70 03 2E 04 14 DF
            6F 06 E1 E2 70 09 E2 6F 0A E5 01 03 6E 04 0C 6E 05 0D 30 0E F8 14
            E9 AE EA 2D 03 11 15 19 02)
       ((#1=#:|G708| #2=#:|G709|) (|BOOT|::|Kernel| |BOOT|::|$|)
        (|BOOT|::|Kernel| |BOOT|::|$|) |BOOT|::|PAIR| |BOOT|::|Comparable| #1#
        |BOOT|::|RetractableTo| #2# |BOOT|::|$| |BOOT|::|InnerEvalable|
        |BOOT|::|Evalable|
        (((|BOOT|::|elt| (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$| |BOOT|::|$|
            |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|elt|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|)
            (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|subst|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|Equation| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|subst|
           (|BOOT|::|$| |BOOT|::|$|
            (|BOOT|::|List| (|BOOT|::|Equation| |BOOT|::|$|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|subst|
           (|BOOT|::|$| |BOOT|::|$|
            (|BOOT|::|List| (|BOOT|::|Kernel| |BOOT|::|$|))
            (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|box| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|paren| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|distribute| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|distribute| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|height| ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|mainKernel|
           ((|BOOT|::|Union| (|BOOT|::|Kernel| |BOOT|::|$|) "failed")
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|kernels|
           ((|BOOT|::|List| (|BOOT|::|Kernel| |BOOT|::|$|)) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|kernels|
           ((|BOOT|::|List| (|BOOT|::|Kernel| |BOOT|::|$|))
            (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|tower|
           ((|BOOT|::|List| (|BOOT|::|Kernel| |BOOT|::|$|)) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|tower|
           ((|BOOT|::|List| (|BOOT|::|Kernel| |BOOT|::|$|))
            (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|operators|
           ((|BOOT|::|List| (|BOOT|::|BasicOperator|)) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|operator|
           ((|BOOT|::|BasicOperator|) (|BOOT|::|BasicOperator|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|belong?| ((|BOOT|::|Boolean|) (|BOOT|::|BasicOperator|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|is?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|BasicOperator|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|is?| ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|Symbol|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|kernel|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|kernel|
           (|BOOT|::|$| (|BOOT|::|BasicOperator|)
            (|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|map|
           (|BOOT|::|$| (|BOOT|::|Mapping| |BOOT|::|$| |BOOT|::|$|)
            (|BOOT|::|Kernel| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|freeOf?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|freeOf?|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|Symbol|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|Symbol|))
            (|BOOT|::|List| (|BOOT|::|Mapping| |BOOT|::|$| |BOOT|::|$|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|Symbol|))
            (|BOOT|::|List|
             (|BOOT|::|Mapping| |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|Symbol|)
            (|BOOT|::|Mapping| |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|Symbol|)
            (|BOOT|::|Mapping| |BOOT|::|$| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|BasicOperator|))
            (|BOOT|::|List| (|BOOT|::|Mapping| |BOOT|::|$| |BOOT|::|$|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|BasicOperator|))
            (|BOOT|::|List|
             (|BOOT|::|Mapping| |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|BasicOperator|)
            (|BOOT|::|Mapping| |BOOT|::|$| (|BOOT|::|List| |BOOT|::|$|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|eval|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|BasicOperator|)
            (|BOOT|::|Mapping| |BOOT|::|$| |BOOT|::|$|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|minPoly|
           ((|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
            (|BOOT|::|Kernel| |BOOT|::|$|)))
          (|BOOT|::|has| |BOOT|::|$| (|BOOT|::|Ring|)))
         ((|BOOT|::|definingPolynomial| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|$| (|BOOT|::|Ring|)))
         ((|BOOT|::|even?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|$|
           (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))))
         ((|BOOT|::|odd?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|$|
           (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        (|BOOT|::|ExpressionSpace|) 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|101 101 (MAKEPROP 'ExpressionSpace 'NILADIC ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|ExpressionSpace| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
