(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER IntervalCategory;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|::|IntervalCategory;CAT|)
    |BOOT|::|IntervalCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE IntervalCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|IntervalCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER IntervalCategory;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|::|IntervalCategory;AL|)
    |BOOT|::|IntervalCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 15 (DEFUN IntervalCategory (t#1) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|IntervalCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|IntervalCategory|
       #40Y(00 00 00 00 01 00 00 00 26 02 63 AE 6F 00 AC 6B 01 30 02 F9 1C 0F
            AC AD 2F 03 FA 7A 6B 01 30 04 0F 01 9E 19 04 5C 19 04)
       (|BOOT|::|devaluate| |BOOT|::|IntervalCategory;AL| |BOOT|::|assoc|
        |BOOT|::|IntervalCategory;| |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|17 60 (DEFUN IntervalCategory; (t#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|IntervalCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|IntervalCategory;|
       #78Y(00 00 00 00 01 00 00 00 26 02 63 DA AF 7B 01 70 01 DC DD 7B 01 70
            01 0E 04 1C 1D 2E 05 14 2E 06 14 2E 07 14 2E 08 14 E3 6F 0A 2E 0B
            14 E6 01 03 6E 04 0D 2D 07 0E 0F 04 14 70 0F 30 0F F8 14 EA B0 7B
            02 AC AF EB 2D 03 12 16 01 15 19 03)
       ((|BOOT|::|t#1|) |BOOT|::|PAIR| (#1=#:|G693|) (|BOOT|::|Integer|)
        |BOOT|::|IntervalCategory;CAT| |BOOT|::|GcdDomain| |BOOT|::|OrderedSet|
        |BOOT|::|TranscendentalFunctionCategory| |BOOT|::|RadicalCategory| #1#
        |BOOT|::|RetractableTo| |BOOT|::|Approximate|
        (((|BOOT|::|interval| (|BOOT|::|$| |BOOT|::|t#1| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|qinterval| (|BOOT|::|$| |BOOT|::|t#1| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|interval| (|BOOT|::|$| |BOOT|::|t#1|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|interval|
           (|BOOT|::|$| (|BOOT|::|Fraction| (|BOOT|::|Integer|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|inf| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|sup| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|width| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|positive?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|negative?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|contains?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|IntervalCategory| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
