(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE Finite;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|Finite;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DEFPARAMETER Finite;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|::|Finite;AL|) |BOOT|::|Finite;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFUN Finite NIL ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|Finite| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|Finite|
       #22Y(00 00 00 00 00 00 00 00 26 01 0E 00 1E 06 2E 01 0F 00 19 01 19 01)
       (|BOOT|::|Finite;AL| |BOOT|::|Finite;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 22 (DEFUN Finite; NIL ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|Finite;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|Finite;|
       #48Y(00 00 00 00 00 00 00 00 26 01 63 DA DB 7B 01 70 02 2E 03 14 DE 6F
            05 2E 06 14 E1 01 03 6E 04 08 6E 04 09 30 0A F8 14 E5 AE E6 2D 03
            0D 15 19 02)
       ((#1=#:|G690|) (|BOOT|::|InputForm|) |BOOT|::|PAIR|
        |BOOT|::|SetCategory| #1# |BOOT|::|ConvertibleTo| |BOOT|::|Comparable|
        (((|BOOT|::|size| ((|BOOT|::|NonNegativeInteger|))) |COMMON-LISP|::|T|)
         ((|BOOT|::|index| (|BOOT|::|$| (|BOOT|::|PositiveInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lookup| ((|BOOT|::|PositiveInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|random| (|BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|enumerate| ((|BOOT|::|List| |BOOT|::|$|)))
          |COMMON-LISP|::|T|))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        (|BOOT|::|Finite|) 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(#:|24 24 (MAKEPROP 'Finite 'NILADIC ...)-5|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|Finite| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
