(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER Poset;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|::|Poset;CAT|) |BOOT|::|Poset;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE Poset;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|Poset;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER Poset;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|::|Poset;AL|) |BOOT|::|Poset;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 14 (DEFUN Poset (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|::|Poset| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|Poset|
       #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|::|Poset;AL| |BOOT|::|assoc| |BOOT|::|Poset;|
        |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(#:|16 162 (DEFUN Poset; (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|::|Poset;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|Poset;|
       #54Y(00 00 00 00 01 00 00 00 26 02 63 DA AF 7B 01 70 01 0E 02 1C 0D DD
            6F 04 DF 01 03 6E 04 06 30 07 0F 02 14 30 08 F8 14 E3 B0 7B 02 AC
            AF E4 2D 03 0B 16 01 15 19 03)
       ((|BOOT|::|t#1|) |BOOT|::|PAIR| |BOOT|::|Poset;CAT| |BOOT|::|t#1|
        |BOOT|::|Preorder|
        (((|BOOT|::|finitePoset|
           (|BOOT|::|$| (|BOOT|::|List| |BOOT|::|t#1|)
            (|BOOT|::|List| (|BOOT|::|List| (|BOOT|::|Boolean|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|finitePoset|
           (|BOOT|::|$| (|BOOT|::|List| |BOOT|::|t#1|)
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#1|
             |BOOT|::|t#1|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|getVert| ((|BOOT|::|List| |BOOT|::|t#1|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|getArr|
           ((|BOOT|::|List| (|BOOT|::|List| (|BOOT|::|Boolean|))) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|setVert|
           ((|BOOT|::|Void|) |BOOT|::|$| (|BOOT|::|List| |BOOT|::|t#1|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|setArr|
           ((|BOOT|::|Void|) |BOOT|::|$|
            (|BOOT|::|List| (|BOOT|::|List| (|BOOT|::|Boolean|)))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|addObject!| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|addArrow!|
           (|BOOT|::|$| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)
            (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|opposite| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|powerSetStructure| (|BOOT|::|$| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|implies|
           ((|BOOT|::|Boolean|) |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)
            (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|meetIfCan|
           ((|BOOT|::|Union| (|BOOT|::|NonNegativeInteger|) "failed")
            |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)
            (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|joinIfCan|
           ((|BOOT|::|Union| (|BOOT|::|NonNegativeInteger|) "failed")
            |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)
            (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|meetIfCan|
           ((|BOOT|::|Union| (|BOOT|::|NonNegativeInteger|) "failed")
            |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|NonNegativeInteger|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|joinIfCan|
           ((|BOOT|::|Union| (|BOOT|::|NonNegativeInteger|) "failed")
            |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|NonNegativeInteger|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|glb|
           ((|BOOT|::|Union| (|BOOT|::|NonNegativeInteger|) "failed")
            |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|NonNegativeInteger|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|lub|
           ((|BOOT|::|Union| (|BOOT|::|NonNegativeInteger|) "failed")
            |BOOT|::|$| (|BOOT|::|List| (|BOOT|::|NonNegativeInteger|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|upperSet| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|lowerSet| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|indexToObject|
           (|BOOT|::|t#1| |BOOT|::|$| (|BOOT|::|NonNegativeInteger|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|objectToIndex|
           ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|completeReflexivity| (|BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|completeTransitivity| (|BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|isAntisymmetric?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|isChain?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|isAntiChain?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|moebius|
           ((|BOOT|::|IncidenceAlgebra| (|BOOT|::|Integer|) |BOOT|::|t#1|)
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|zetaMatrix|
           ((|BOOT|::|IncidenceAlgebra| (|BOOT|::|Integer|) |BOOT|::|t#1|)
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|coverMatrix|
           ((|BOOT|::|IncidenceAlgebra| (|BOOT|::|Integer|) |BOOT|::|t#1|)
            |BOOT|::|$|))
          |COMMON-LISP|::|T|))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV| |BOOT|::|Poset|
        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|))
