(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 9 (SDEFUN DSMP;retractIfCan;$U;1 (# #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DSMP;retractIfCan;$U;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DSMP;retractIfCan;$U;1|
       #54Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 B0 95 02 36 02 F8
            8E AC 05 DF CB 5D 19 03 DB AE C7 5F 14 94 00 99 03 A2 7A B1 DE 72
            5E B3 95 04 36 04 16 01 1B 65)
       (10. 0. 18. |BOOT|::|DSMP;retractIfCan;$U;1!0| 14. 1. "failed")
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|11 12 (SDEFUN DSMP;retractIfCan;$U;1!0 (# #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DSMP;retractIfCan;$U;1!0| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DSMP;retractIfCan;$U;1!0|
       #34Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 AF C6 5F 14 94 00
            B2 95 02 36 02 F8 95 02 36 02 19 04)
       (13. 11.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|14 16 (SDEFUN DSMP;coerce;Smp$;2 (# #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DSMP;coerce;Smp$;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DSMP;coerce;Smp$;2|
       #31Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 99 01 A1 7A B0 DC
            72 5E B2 95 04 36 04 19 04)
       (27. |BOOT|::|DSMP;coerce;Smp$;2!0| 23.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|18 19 (SDEFUN DSMP;coerce;Smp$;2!0 (# #) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DSMP;coerce;Smp$;2!0| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DSMP;coerce;Smp$;2!0|
       #34Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 AF C6 5F 14 94 00
            B2 95 02 36 02 F8 95 02 36 02 19 04)
       (22. 21.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|21 21 (DECLAIM (NOTINLINE DifferentialSparseMultivariatePolynomial;))-5|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE|
     |BOOT|::|DifferentialSparseMultivariatePolynomial;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|23 44 (DEFUN DifferentialSparseMultivariatePolynomial (&REST G780) ...)-6|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DifferentialSparseMultivariatePolynomial|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DifferentialSparseMultivariatePolynomial|
       #66Y(03 00 01 00 00 00 00 00 21 16 63 AE 6F 00 DB 6B 02 38 01 71 6E DD
            2D 03 04 F8 1C 13 53 16 99 06 A2 77 00 7E 03 15 54 05 00 00 00 1D
            0D 1B 10 14 2F 05 19 03 05 00 00 00 1C 05 DB 6B 02 31 70 55 19 03)
       (|BOOT|::|devaluateList|
        |BOOT|::|DifferentialSparseMultivariatePolynomial|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|DifferentialSparseMultivariatePolynomial;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|46 545 (DEFUN DifferentialSparseMultivariatePolynomial; (#1 #2 #3) ...)-7|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DifferentialSparseMultivariatePolynomial;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DifferentialSparseMultivariatePolynomial;|
       #1205Y(00 00 00 00 03 00 00 00 26 04 01 0D BC 2F 00 F8 BB 2F 00 F9 BA 2F
              00 FA DB AD AF B1 61 04 FB DC 2F 03 FC AF B1 C9 60 DE DE BE DF 70
              06 BF E1 70 06 C0 E2 70 06 C1 E3 70 06 C2 E4 70 06 C3 E5 70 06 C4
              E6 70 06 66 19 E7 70 06 66 1A E8 70 06 66 1B E9 70 06 66 1C EA 70
              06 66 1D EB 30 06 09 12 14 92 13 05 66 1E EC 30 06 14 66 1F ED 8A
              06 02 04 14 14 66 20 EE 8B 06 05 66 1E EF 30 06 14 66 21 F0 70 06
              66 22 F1 70 06 66 23 F2 70 06 66 24 F3 70 06 66 25 F4 8A 06 05 66
              25 F5 30 06 14 66 26 F6 8B 06 05 66 26 F7 30 06 14 66 27 65 1E 30
              06 09 1D 14 92 1E 09 92 1D 06 66 28 65 1F 30 06 14 66 29 65 20 30
              06 09 20 14 92 20 0C 92 1F 09 92 21 06 66 2A 65 21 30 06 14 92 20
              09 92 22 06 66 2B 65 22 30 06 14 92 22 05 92 21 02 04 23 14 66 2D
              65 23 8B 06 0D 66 2D 65 24 8B 06 06 66 2B 65 25 30 06 09 25 14 66
              2E 65 26 8B 06 0F 66 2E 65 27 8B 06 08 66 2C 65 28 8A 06 80 94 66
              2E 65 29 8B 06 0F 66 2E 65 2A 8B 06 08 66 2C 65 2B 8A 06 80 7E 66
              2E 65 2C 8B 06 0F 66 2E 65 2D 8B 06 08 66 2C 65 2E 8A 06 80 68 66
              2E 65 2F 8B 06 0F 66 2E 65 30 8B 06 08 66 2C 65 31 8A 06 80 52 66
              2E 65 32 8B 06 0E 66 2E 65 33 8B 06 07 66 2C 65 34 8A 06 3D 66 2E
              65 35 8B 06 0E 66 2E 65 36 8B 06 07 66 2C 65 37 8A 06 28 66 2E 65
              38 8B 06 0A 93 23 07 66 2C 65 39 8A 06 17 66 2E 65 3A 8B 06 0E 66
              2E 65 3B 8B 06 07 66 2C 65 3C 8A 06 02 04 26 14 66 2F 65 3D 8B 06
              0D 66 2F 65 3E 8B 06 06 66 2D 65 3F 30 06 09 28 14 66 30 65 40 8B
              06 0F 66 30 65 41 8B 06 08 66 2E 65 42 8A 06 80 94 66 30 65 43 8B
              06 0F 66 30 65 44 8B 06 08 66 2E 65 45 8A 06 80 7E 66 30 65 46 8B
              06 0F 66 30 65 47 8B 06 08 66 2E 65 48 8A 06 80 68 66 30 65 49 8B
              06 0F 66 30 65 4A 8B 06 08 66 2E 65 4B 8A 06 80 52 66 30 65 4C 8B
              06 0E 66 30 65 4D 8B 06 07 66 2E 65 4E 8A 06 3D 66 30 65 4F 8B 06
              0E 66 30 65 50 8B 06 07 66 2E 65 51 8A 06 28 66 30 65 52 8B 06 0A
              93 25 07 66 2E 65 53 8A 06 17 66 30 65 54 8B 06 0E 66 30 65 55 8B
              06 07 66 2E 65 56 8A 06 02 04 29 14 66 31 65 57 8B 06 0D 66 31 65
              58 8B 06 06 66 2F 65 59 30 06 09 2B 14 66 32 65 5A 8B 06 0F 66 32
              65 5B 8B 06 08 66 30 65 5C 8A 06 80 94 66 32 65 5D 8B 06 0F 66 32
              65 5E 8B 06 08 66 30 65 5F 8A 06 80 7E 66 32 65 60 8B 06 0F 66 32
              65 61 8B 06 08 66 30 65 62 8A 06 80 68 66 32 65 63 8B 06 0F 66 32
              65 64 8B 06 08 66 30 65 65 8A 06 80 52 66 32 65 66 8B 06 0E 66 32
              65 67 8B 06 07 66 30 65 68 8A 06 3D 66 32 65 69 8B 06 0E 66 32 65
              6A 8B 06 07 66 30 65 6B 8A 06 28 66 32 65 6C 8B 06 0A 93 27 07 66
              30 65 6D 8A 06 17 66 32 65 6E 8B 06 0E 66 32 65 6F 8B 06 07 66 30
              65 70 8A 06 02 04 2C 14 66 33 65 71 8B 06 0D 66 33 65 72 8B 06 06
              66 31 65 73 30 06 09 2E 14 66 34 65 74 8B 06 0F 66 34 65 75 8B 06
              08 66 32 65 76 8A 06 80 A0 66 34 65 77 8B 06 0F 66 34 65 78 8B 06
              08 66 32 65 79 8A 06 80 8A 66 34 65 7A 8B 06 0F 66 34 65 7B 8B 06
              08 66 32 65 7C 8A 06 80 74 66 34 65 7D 8B 06 0F 66 34 65 7E 8B 06
              08 66 32 65 7F 8A 06 80 5E 66 34 65 80 80 8B 06 11 66 34 65 80 81
              8B 06 09 66 32 65 80 82 8A 06 80 45 66 34 65 80 83 8B 06 10 66 34
              65 80 84 8B 06 08 66 32 65 80 85 8A 06 2D 66 34 65 80 86 8B 06 0B
              93 29 08 66 32 65 80 87 8A 06 1A 66 34 65 80 88 8B 06 10 66 34 65
              80 89 8B 06 08 66 32 65 80 8A 8A 06 02 04 2F 14 7B 23 6E 03 80 8B
              B1 03 80 8C 60 6B 80 8D DB AE B0 B2 7B 03 65 80 8E A5 7A 2D 04 80
              8F B0 2F 80 90 BC B1 03 80 91 60 BB B1 03 80 92 60 BA B1 03 80 93
              60 B0 65 80 94 8B 06 07 B0 65 80 95 30 80 96 BC 65 80 97 8A 06 80
              4E 09 0C 1D 07 B0 65 80 99 30 80 96 BC 65 80 9A 8A 06 03 93 0C 07
              B0 65 80 9B 30 80 96 BC 65 80 9C 8A 06 39 93 07 07 B0 65 80 9D 8A
              06 2F 93 06 07 B0 65 80 9F 8A 06 0D 92 05 0A 93 07 0E B0 65 80 A0
              8B 06 07 B0 65 80 A1 30 80 96 A1 19 11 B0 65 80 98 30 06 09 0C 1D
              FF B2 1B FF A8 B0 65 80 9E 30 80 96 93 06 51 1B 48)
       (|BOOT|::|devaluate| |BOOT|::|DifferentialSparseMultivariatePolynomial|
        80. |BOOT|::|GETREFV| 0.
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        |BOOT|::|HasCategory| (|BOOT|::|CharacteristicNonZero|)
        (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|canonicalUnitNormal|) (|BOOT|::|Comparable|) (|BOOT|::|Ring|)
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PolynomialFactorizationExplicit|) (|BOOT|::|EntireRing|)
        (|BOOT|::|GcdDomain|) (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|EntireRing|) (|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|)) (|BOOT|::|SemiRing|)
        (|BOOT|::|DifferentialRing|)
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|Field|)
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|)) (|BOOT|::|Ring|)
        (|BOOT|::|CommutativeRing|) (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|IntegralDomain|) (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|)) (|BOOT|::|Ring|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|CharacteristicNonZero|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|DifferentialRing|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|)) (|BOOT|::|Ring|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|CharacteristicNonZero|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|DifferentialRing|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|PatternMatchable| (|BOOT|::|Integer|))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|Ring|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|CharacteristicNonZero|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|DifferentialRing|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Float|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|Ring|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|LinearlyExplicitOver| (|BOOT|::|Integer|))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|CharacteristicNonZero|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|DifferentialRing|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|ConvertibleTo| (|BOOT|::|Pattern| (|BOOT|::|Integer|)))
        |BOOT|::|buildPredVector| 3. |BOOT|::|$ConstructorCache| 1.
        |BOOT|::|haddProp| |BOOT|::|stuffDomainSlots| 6. 7. 8.
        (|BOOT|::|CommutativeRing|) 34359738368. |BOOT|::|augmentPredVector|
        (|BOOT|::|PolynomialFactorizationExplicit|)
        (|BOOT|::|CharacteristicNonZero|) 68719476736.
        (|BOOT|::|CharacteristicNonZero|) 137438953472. (|BOOT|::|EntireRing|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) 274877906944.
        (|BOOT|::|VariablesCommuteWithCoefficients|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) 549755813888.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2| |BOOT|::|#3|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|547 648 (MAKEPROP 'DifferentialSparseMultivariatePolynomial 'infovec ...)-8|
   #36Y(00 00 00 00 00 00 00 00 20 01 DA DB DC DD 63 DE DF 70 06 E1 E2 E3 E4 30
        06 5D 5D 7A E5 7B 05 2D 03 0C 19 01)
   (|BOOT|::|DifferentialSparseMultivariatePolynomial| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|SparseMultivariatePolynomial| 6. 8.)
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|local| |BOOT|::|#2|)
      (|BOOT|::|local| |BOOT|::|#3|) (|BOOT|::|NonNegativeInteger|)
      (0. . |BOOT|::|order|) (5. . |BOOT|::|retract|)
      (|BOOT|::|SparseMultivariatePolynomial| 6. 7.) (10. . |BOOT|::|coerce|)
      (15. . |BOOT|::|coerce|) (|BOOT|::|Mapping| 12. 8.)
      (|BOOT|::|Mapping| 12. 6.)
      (|BOOT|::|PolynomialCategoryLifting| 63. 8. 6. |BOOT|::|$$| 12.)
      (20. . |BOOT|::|map|) (|BOOT|::|Union| 12. '"failed")
      |BOOT|::|DSMP;retractIfCan;$U;1| (27. . |BOOT|::|coerce|)
      (32. . |BOOT|::|coerce|) (37. . |BOOT|::|coerce|)
      (|BOOT|::|Mapping| |BOOT|::|$$| 7.) (|BOOT|::|Mapping| |BOOT|::|$$| 6.)
      (|BOOT|::|PolynomialCategoryLifting| (|BOOT|::|IndexedExponents| 7.) 7.
       6. 12. |BOOT|::|$$|)
      (42. . |BOOT|::|map|) |BOOT|::|DSMP;coerce;Smp$;2|
      (|BOOT|::|Union| 35. '#1="failed") (|BOOT|::|Matrix| |BOOT|::|$|)
      (|BOOT|::|InputForm|) (|BOOT|::|Pattern| (|BOOT|::|Float|))
      (|BOOT|::|Pattern| 58.)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|mat| 36.)
       (|BOOT|::|:| |BOOT|::|vec| (|BOOT|::|Vector| 58.)))
      (|BOOT|::|Vector| |BOOT|::|$|) (|BOOT|::|Matrix| 58.)
      (|BOOT|::|PatternMatchResult| (|BOOT|::|Float|) |BOOT|::|$|)
      (|BOOT|::|PatternMatchResult| 58. |BOOT|::|$|)
      (|BOOT|::|Union| |BOOT|::|$| '#1#) (|BOOT|::|Boolean|)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|unit| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|canonical| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|associate| |BOOT|::|$|))
      (|BOOT|::|Fraction| 58.) (|BOOT|::|List| 7.) (|BOOT|::|List| 6.)
      (|BOOT|::|List| |BOOT|::|$|) (|BOOT|::|Mapping| |BOOT|::|$| 9.)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|llcm_res| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|coeff1| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|coeff2| |BOOT|::|$|))
      (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
      (|BOOT|::|Factored| |BOOT|::|$|) (|BOOT|::|List| 52.) (|BOOT|::|List| 9.)
      (|BOOT|::|Symbol|) (|BOOT|::|Factored| 48.) (|BOOT|::|Union| 55. '#1#)
      (|BOOT|::|List| 48.) (|BOOT|::|Union| 42. '#2="failed")
      (|BOOT|::|Union| 58. '#2#) (|BOOT|::|Integer|) (|BOOT|::|List| 8.)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|mat| 62.)
       (|BOOT|::|:| |BOOT|::|vec| (|BOOT|::|Vector| 6.)))
      (|BOOT|::|Matrix| 6.) (|BOOT|::|IndexedExponents| 8.)
      (|BOOT|::|List| 65.) (|BOOT|::|Equation| |BOOT|::|$|)
      (|BOOT|::|Union| 8. '#2#) (|BOOT|::|Union| 45. '#3="failed")
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|var| 8.)
       (|BOOT|::|:| |BOOT|::|exponent| 9.))
      (|BOOT|::|Union| 68. '#3#) (|BOOT|::|Union| 7. '#2#)
      (|BOOT|::|Mapping| 6. 6.) (|BOOT|::|SparseUnivariatePolynomial| 6.)
      (|BOOT|::|Mapping| 63. 63.) (|BOOT|::|Union| 6. '#2#)
      (|BOOT|::|PositiveInteger|) (|BOOT|::|String|) (|BOOT|::|SingleInteger|)
      (|BOOT|::|HashState|) (|BOOT|::|OutputForm|))
    #(|BOOT|::|retractIfCan| 49. |BOOT|::|order| 54. |BOOT|::|coerce| 59.) 35.
    (0. 0. 0. 10. 0. 10. 0. 13. 26. 0. 8. 25. 12. 1. 2. 3. 23. 8. 9. 27. 14. 8.
     18. 17. 0. 0. 0. 0. 1. 23. 27. 0. 0. 0. 1. 0. 0. 0. 0. 0. 1. 1. 0. 0. 0.
     0. 0. 0. 0. 0. 0. 0. 7. 29. 31. 0. 0. 27. 16. 0. 0. 0. 0. 0. 0. 0. 0. 0.
     4. 5. 6. 27. 11. 33. 35. 15. 16. 16. 17. 17.)
    |BOOT|::|makeByteWordVec2|
    #(|BOOT|::|DifferentialPolynomialCategory&| |BOOT|::|PolynomialCategory&|
      |BOOT|::|MaybeSkewPolynomialCategory&|
      |BOOT|::|PolynomialFactorizationExplicit&|
      |BOOT|::|FiniteAbelianMonoidRing&| |BOOT|::|UniqueFactorizationDomain&|
      |BOOT|::|AbelianMonoidRing&| |BOOT|::|GcdDomain&| |COMMON-LISP|::|NIL|
      |BOOT|::|DifferentialExtension&| |BOOT|::|FullyLinearlyExplicitOver&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|Algebra&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|Algebra&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|Algebra&|
      |BOOT|::|EntireRing&| |BOOT|::|PartialDifferentialRing&|
      |BOOT|::|PartialDifferentialRing&| |BOOT|::|DifferentialRing&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|Rng&|
      |COMMON-LISP|::|NIL| |BOOT|::|Module&| |BOOT|::|Module&|
      |BOOT|::|Module&| |BOOT|::|NonAssociativeRing&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|NonAssociativeRng&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|AbelianGroup&| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|MagmaWithUnit&|
      |BOOT|::|AbelianMonoid&| |BOOT|::|NonAssociativeSemiRng&|
      |BOOT|::|Magma&| |BOOT|::|AbelianSemiGroup&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|FullyRetractableTo&|
      |BOOT|::|SetCategory&| |COMMON-LISP|::|NIL| |BOOT|::|Evalable&|
      |BOOT|::|RetractableTo&| |BOOT|::|RetractableTo&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|InnerEvalable&| |BOOT|::|InnerEvalable&|
      |BOOT|::|RetractableTo&| |BOOT|::|BasicType&| |COMMON-LISP|::|NIL|
      |BOOT|::|RetractableTo&| |BOOT|::|RetractableTo&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|RetractableTo&|
      |BOOT|::|InnerEvalable&| |BOOT|::|InnerEvalable&|
      |BOOT|::|InnerEvalable&|)
    #((|BOOT|::|DifferentialPolynomialCategory| 6. 7. 8.
       (|BOOT|::|IndexedExponents| 8.))
      (|BOOT|::|PolynomialCategory| 6. (|BOOT|::|IndexedExponents| 8.) 8.)
      (|BOOT|::|MaybeSkewPolynomialCategory| 6. (|BOOT|::|IndexedExponents| 8.)
       8.)
      (|BOOT|::|PolynomialFactorizationExplicit|)
      (|BOOT|::|FiniteAbelianMonoidRing| 6. (|BOOT|::|IndexedExponents| 8.))
      (|BOOT|::|UniqueFactorizationDomain|)
      (|BOOT|::|AbelianMonoidRing| 6. (|BOOT|::|IndexedExponents| 8.))
      (|BOOT|::|GcdDomain|) (|BOOT|::|IntegralDomain|)
      (|BOOT|::|DifferentialExtension| 6.)
      (|BOOT|::|FullyLinearlyExplicitOver| 6.) (|BOOT|::|CommutativeRing|)
      (|BOOT|::|LeftOreRing|) (|BOOT|::|Algebra| 42.)
      (|BOOT|::|CharacteristicNonZero|) (|BOOT|::|CharacteristicZero|)
      (|BOOT|::|Algebra| 6.) (|BOOT|::|LinearlyExplicitOver| 6.)
      (|BOOT|::|LinearlyExplicitOver| 58.) (|BOOT|::|Algebra| |BOOT|::|$$|)
      (|BOOT|::|EntireRing|) (|BOOT|::|PartialDifferentialRing| 8.)
      (|BOOT|::|PartialDifferentialRing| 52.) (|BOOT|::|DifferentialRing|)
      (|BOOT|::|Ring|) (|BOOT|::|SemiRing|) (|BOOT|::|Rng|) (|BOOT|::|SemiRng|)
      (|BOOT|::|Module| 42.) (|BOOT|::|Module| 6.)
      (|BOOT|::|Module| |BOOT|::|$$|) (|BOOT|::|NonAssociativeRing|)
      (|BOOT|::|BiModule| 6. 6.) (|BOOT|::|BiModule| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|BiModule| 42. 42.) (|BOOT|::|NonAssociativeRng|)
      (|BOOT|::|LeftModule| 6.) (|BOOT|::|RightModule| 6.)
      (|BOOT|::|RightModule| |BOOT|::|$$|) (|BOOT|::|LeftModule| |BOOT|::|$$|)
      (|BOOT|::|LeftModule| 42.) (|BOOT|::|RightModule| 42.)
      (|BOOT|::|AbelianGroup|) (|BOOT|::|Monoid|)
      (|BOOT|::|NonAssociativeSemiRing|) (|BOOT|::|CancellationAbelianMonoid|)
      (|BOOT|::|SemiGroup|) (|BOOT|::|MagmaWithUnit|) (|BOOT|::|AbelianMonoid|)
      (|BOOT|::|NonAssociativeSemiRng|) (|BOOT|::|Magma|)
      (|BOOT|::|AbelianSemiGroup|) (|BOOT|::|Comparable|)
      (|BOOT|::|PatternMatchable| (|BOOT|::|Float|))
      (|BOOT|::|PatternMatchable| 58.) (|BOOT|::|FullyRetractableTo| 6.)
      (|BOOT|::|SetCategory|) (|BOOT|::|CommutativeStar|)
      (|BOOT|::|Evalable| |BOOT|::|$$|)
      (|BOOT|::|RetractableTo| (|BOOT|::|SparseMultivariatePolynomial| 6. 7.))
      (|BOOT|::|RetractableTo| 7.) (|BOOT|::|unitsKnown|)
      (|BOOT|::|VariablesCommuteWithCoefficients|)
      (|BOOT|::|InnerEvalable| 8. |BOOT|::|$$|) (|BOOT|::|InnerEvalable| 8. 6.)
      (|BOOT|::|RetractableTo| 6.) (|BOOT|::|BasicType|)
      (|BOOT|::|CoercibleTo| 79.) (|BOOT|::|RetractableTo| 42.)
      (|BOOT|::|RetractableTo| 58.) (|BOOT|::|canonicalUnitNormal|)
      (|BOOT|::|TwoSidedRecip|) (|BOOT|::|noZeroDivisors|)
      (|BOOT|::|ConvertibleTo| 32.) (|BOOT|::|ConvertibleTo| 33.)
      (|BOOT|::|ConvertibleTo| 31.) (|BOOT|::|RetractableTo| 8.)
      (|BOOT|::|InnerEvalable| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|InnerEvalable| 7. |BOOT|::|$$|)
      (|BOOT|::|InnerEvalable| 7. 6.))
    28.
    (1. 0. 9. 0. 10. 1. 8. 7. 0. 11. 1. 12. 0. 7. 13. 1. 12. 0. 6. 14. 3. 17.
     12. 15. 16. 2. 18. 1. 8. 0. 7. 21. 1. 0. 0. 8. 22. 1. 0. 0. 6. 23. 3. 26.
     2. 24. 25. 12. 27. 1. 0. 19. 0. 20. 1. 0. 9. 0. 10. 1. 16. 0. 8. 22. 1. 0.
     0. 12. 28. 1. 0. 0. 6. 23.)
    |BOOT|::|lookupIncomplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
