(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER MultivariateSkewPolynomialCategory;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|::|MultivariateSkewPolynomialCategory;CAT|)
    |BOOT|::|MultivariateSkewPolynomialCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE MultivariateSkewPolynomialCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|MultivariateSkewPolynomialCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER MultivariateSkewPolynomialCategory;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|::|MultivariateSkewPolynomialCategory;AL|)
    |BOOT|::|MultivariateSkewPolynomialCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 23 (DEFUN MultivariateSkewPolynomialCategory (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|::|MultivariateSkewPolynomialCategory|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|MultivariateSkewPolynomialCategory|
       #50Y(00 00 00 00 03 00 00 00 26 04 63 B0 6F 00 B0 6F 00 B0 6F 00 7B 03
            AC 6B 01 30 02 F9 1C 11 AC 99 03 9F 37 00 FA 7A 6B 01 30 04 0F 01
            9E 19 06 5C 19 06)
       (|BOOT|::|devaluate| |BOOT|::|MultivariateSkewPolynomialCategory;AL|
        |BOOT|::|assoc| |BOOT|::|MultivariateSkewPolynomialCategory;|
        |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|25 39 (DEFUN MultivariateSkewPolynomialCategory; (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|::|MultivariateSkewPolynomialCategory;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|MultivariateSkewPolynomialCategory;|
       #55Y(00 00 00 00 03 00 00 00 26 04 63 DA B1 B1 B1 7B 03 70 01 0E 02 1C
            0A DD DE DF 6E 03 06 2F 07 0F 02 14 30 08 F8 14 E3 B2 B2 B2 7B 04
            AC AF E4 2D 03 0B 16 01 15 19 05)
       ((|BOOT|::|t#1| |BOOT|::|t#2| |BOOT|::|t#3|) |BOOT|::|PAIR|
        |BOOT|::|MultivariateSkewPolynomialCategory;CAT| |BOOT|::|t#1|
        |BOOT|::|t#2| |BOOT|::|t#3| |BOOT|::|MaybeSkewPolynomialCategory|
        |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|MultivariateSkewPolynomialCategory| 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|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
