(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER TriangularSetCategory;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|::|TriangularSetCategory;CAT|)
    |BOOT|::|TriangularSetCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE TriangularSetCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|TriangularSetCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER TriangularSetCategory;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|::|TriangularSetCategory;AL|)
    |BOOT|::|TriangularSetCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 20 (DEFUN TriangularSetCategory (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|::|TriangularSetCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|TriangularSetCategory|
       #53Y(00 00 00 00 04 00 00 00 26 05 63 B1 6F 00 B1 6F 00 B1 6F 00 B1 6F
            00 7B 04 AC 6B 01 30 02 F9 1C 11 AC 99 03 9F 37 00 FA 7A 6B 01 30
            04 0F 01 9E 19 07 5C 19 07)
       (|BOOT|::|devaluate| |BOOT|::|TriangularSetCategory;AL| |BOOT|::|assoc|
        |BOOT|::|TriangularSetCategory;| |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|t#4|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|22 126 (DEFUN TriangularSetCategory; (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|::|TriangularSetCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|TriangularSetCategory;|
       #71Y(00 00 00 00 04 00 00 00 26 05 63 DA B2 B2 B2 B2 7B 04 70 01 0E 02
            1C 18 DD DE DF E0 6E 04 07 2E 08 14 2E 09 14 E4 01 03 6E 04 0B 2D
            04 0C 0F 02 14 30 0D F8 14 E8 B3 B3 B3 B3 7B 05 AC AF E9 2D 03 10
            16 01 15 19 06)
       ((|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|t#4|)
        |BOOT|::|PAIR| |BOOT|::|TriangularSetCategory;CAT| |BOOT|::|t#1|
        |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|t#4|
        |BOOT|::|PolynomialSetCategory| |BOOT|::|finiteAggregate|
        |BOOT|::|shallowlyMutable|
        (((|BOOT|::|infRittWu?| ((|BOOT|::|Boolean|) |BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|basicSet|
           ((|BOOT|::|Union|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|bas| |BOOT|::|$|)
              (|BOOT|::|:| |BOOT|::|top| (|BOOT|::|List| |BOOT|::|t#4|)))
             "failed")
            (|BOOT|::|List| |BOOT|::|t#4|)
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|
             |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|basicSet|
           ((|BOOT|::|Union|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|bas| |BOOT|::|$|)
              (|BOOT|::|:| |BOOT|::|top| (|BOOT|::|List| |BOOT|::|t#4|)))
             "failed")
            (|BOOT|::|List| |BOOT|::|t#4|)
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|)
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|
             |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initials| ((|BOOT|::|List| |BOOT|::|t#4|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|degree| ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|quasiComponent|
           ((|BOOT|::|Record|
             (|BOOT|::|:| |BOOT|::|close| (|BOOT|::|List| |BOOT|::|t#4|))
             (|BOOT|::|:| |BOOT|::|open| (|BOOT|::|List| |BOOT|::|t#4|)))
            |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|normalized?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|normalized?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|reduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#4| |BOOT|::|$|
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|
             |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|stronglyReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|headReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initiallyReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|autoReduced?|
           ((|BOOT|::|Boolean|) |BOOT|::|$|
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|
             (|BOOT|::|List| |BOOT|::|t#4|))))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|stronglyReduced?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|headReduced?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initiallyReduced?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|reduce|
           (|BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|$|
            (|BOOT|::|Mapping| |BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|t#4|)
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|
             |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rewriteSetWithReduction|
           ((|BOOT|::|List| |BOOT|::|t#4|) (|BOOT|::|List| |BOOT|::|t#4|)
            |BOOT|::|$|
            (|BOOT|::|Mapping| |BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|t#4|)
            (|BOOT|::|Mapping| (|BOOT|::|Boolean|) |BOOT|::|t#4|
             |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|stronglyReduce| (|BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|headReduce| (|BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|initiallyReduce| (|BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|removeZero| (|BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|collectQuasiMonic| (|BOOT|::|$| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|reduceByQuasiMonic|
           (|BOOT|::|t#4| |BOOT|::|t#4| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|zeroSetSplit|
           ((|BOOT|::|List| |BOOT|::|$|) (|BOOT|::|List| |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|zeroSetSplitIntoTriangularSystems|
           ((|BOOT|::|List|
             (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|close| |BOOT|::|$|)
              (|BOOT|::|:| |BOOT|::|open| (|BOOT|::|List| |BOOT|::|t#4|))))
            (|BOOT|::|List| |BOOT|::|t#4|)))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|first|
           ((|BOOT|::|Union| |BOOT|::|t#4| "failed") |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|last|
           ((|BOOT|::|Union| |BOOT|::|t#4| "failed") |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|rest| ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|algebraicVariables|
           ((|BOOT|::|List| |BOOT|::|t#3|) |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|algebraic?|
           ((|BOOT|::|Boolean|) |BOOT|::|t#3| |BOOT|::|$|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|select|
           ((|BOOT|::|Union| |BOOT|::|t#4| "failed") |BOOT|::|$|
            |BOOT|::|t#3|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|extendIfCan|
           ((|BOOT|::|Union| |BOOT|::|$| "failed") |BOOT|::|$| |BOOT|::|t#4|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|extend| (|BOOT|::|$| |BOOT|::|$| |BOOT|::|t#4|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|coHeight| ((|BOOT|::|NonNegativeInteger|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#3| (|BOOT|::|Finite|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|TriangularSetCategory| 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| |BOOT|::|t#4|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
