(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DECLAIM (NOTINLINE SequentialDifferentialPolynomial;))-1|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|SequentialDifferentialPolynomial;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 22 (DEFUN SequentialDifferentialPolynomial (G772) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|SequentialDifferentialPolynomial|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|SequentialDifferentialPolynomial|
       #66Y(03 00 01 00 01 00 00 00 20 02 63 AE 6F 00 7B 01 DB 6B 02 38 01 71
            6E DD 2D 03 04 F8 1C 11 53 14 B0 6F 06 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|::|devaluate| |BOOT|::|SequentialDifferentialPolynomial|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|SequentialDifferentialPolynomial;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|24 557 (DEFUN SequentialDifferentialPolynomial; (#1) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|SequentialDifferentialPolynomial;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|SequentialDifferentialPolynomial;|
       #1295Y(00 00 00 00 01 00 00 00 26 02 01 0B B8 2F 00 F8 DB AD 61 02 F9 DC
              2F 03 FA AD AF C9 60 DE DE BA DF 70 06 BB E1 70 06 BC E2 70 06 BD
              E3 70 06 BE E4 70 06 BF E5 70 06 C0 E6 70 06 C1 E7 70 06 C2 E8 70
              06 C3 E9 70 06 C4 EA 70 06 66 19 EB 30 06 09 10 14 92 11 05 66 1A
              EC 30 06 14 66 1B ED 8A 06 02 04 12 14 66 1C EE 8B 06 08 2E 15 14
              6F 16 F1 30 06 14 66 1D F2 70 06 66 1E F3 70 06 66 1F F4 70 06 66
              20 F5 70 06 66 21 F6 8A 06 05 66 21 F7 30 06 14 66 22 65 1E 8B 06
              06 66 22 65 1F 30 06 14 66 23 65 20 30 06 09 1B 14 92 1C 09 92 1B
              06 66 24 65 21 30 06 14 66 25 65 22 30 06 09 1E 14 92 1E 0C 92 1D
              09 92 1F 06 66 26 65 23 30 06 14 92 1E 09 92 20 06 66 27 65 24 30
              06 14 92 20 05 92 1F 02 04 21 14 66 29 65 25 8B 06 10 66 29 65 26
              8B 06 09 2E 15 14 6F 16 65 27 30 06 09 23 14 66 2A 65 28 8B 06 12
              66 2A 65 29 8B 06 0B 2E 15 14 6F 16 65 2A 8A 06 80 AA 66 2A 65 2B
              8B 06 12 66 2A 65 2C 8B 06 0B 2E 15 14 6F 16 65 2D 8A 06 80 91 66
              2A 65 2E 8B 06 12 66 2A 65 2F 8B 06 0B 2E 15 14 6F 16 65 30 8A 06
              80 78 66 2A 65 31 8B 06 12 66 2A 65 32 8B 06 0B 2E 15 14 6F 16 65
              33 8A 06 80 5F 66 2A 65 34 8B 06 12 66 2A 65 35 8B 06 0B 2E 15 14
              6F 16 65 36 8A 06 80 46 66 2A 65 37 8B 06 11 66 2A 65 38 8B 06 0A
              2E 15 14 6F 16 65 39 8A 06 2E 66 2A 65 3A 8B 06 0D 93 21 0A 2E 15
              14 6F 16 65 3B 8A 06 1A 66 2A 65 3C 8B 06 11 66 2A 65 3D 8B 06 0A
              2E 15 14 6F 16 65 3E 8A 06 02 04 24 14 66 2B 65 3F 8B 06 10 66 2B
              65 40 8B 06 09 2E 15 14 6F 16 65 41 30 06 09 26 14 66 2C 65 42 8B
              06 12 66 2C 65 43 8B 06 0B 2E 15 14 6F 16 65 44 8A 06 80 AA 66 2C
              65 45 8B 06 12 66 2C 65 46 8B 06 0B 2E 15 14 6F 16 65 47 8A 06 80
              91 66 2C 65 48 8B 06 12 66 2C 65 49 8B 06 0B 2E 15 14 6F 16 65 4A
              8A 06 80 78 66 2C 65 4B 8B 06 12 66 2C 65 4C 8B 06 0B 2E 15 14 6F
              16 65 4D 8A 06 80 5F 66 2C 65 4E 8B 06 12 66 2C 65 4F 8B 06 0B 2E
              15 14 6F 16 65 50 8A 06 80 46 66 2C 65 51 8B 06 11 66 2C 65 52 8B
              06 0A 2E 15 14 6F 16 65 53 8A 06 2E 66 2C 65 54 8B 06 0D 93 23 0A
              2E 15 14 6F 16 65 55 8A 06 1A 66 2C 65 56 8B 06 11 66 2C 65 57 8B
              06 0A 2E 15 14 6F 16 65 58 8A 06 02 04 27 14 66 2D 65 59 8B 06 10
              66 2D 65 5A 8B 06 09 2E 15 14 6F 16 65 5B 30 06 09 29 14 66 2E 65
              5C 8B 06 12 66 2E 65 5D 8B 06 0B 2E 15 14 6F 16 65 5E 8A 06 80 AA
              66 2E 65 5F 8B 06 12 66 2E 65 60 8B 06 0B 2E 15 14 6F 16 65 61 8A
              06 80 91 66 2E 65 62 8B 06 12 66 2E 65 63 8B 06 0B 2E 15 14 6F 16
              65 64 8A 06 80 78 66 2E 65 65 8B 06 12 66 2E 65 66 8B 06 0B 2E 15
              14 6F 16 65 67 8A 06 80 5F 66 2E 65 68 8B 06 12 66 2E 65 69 8B 06
              0B 2E 15 14 6F 16 65 6A 8A 06 80 46 66 2E 65 6B 8B 06 11 66 2E 65
              6C 8B 06 0A 2E 15 14 6F 16 65 6D 8A 06 2E 66 2E 65 6E 8B 06 0D 93
              25 0A 2E 15 14 6F 16 65 6F 8A 06 1A 66 2E 65 70 8B 06 11 66 2E 65
              71 8B 06 0A 2E 15 14 6F 16 65 72 8A 06 02 04 2A 14 66 2F 65 73 8B
              06 10 66 2F 65 74 8B 06 09 2E 15 14 6F 16 65 75 30 06 09 2C 14 66
              30 65 76 8B 06 12 66 30 65 77 8B 06 0B 2E 15 14 6F 16 65 78 8A 06
              80 B7 66 30 65 79 8B 06 12 66 30 65 7A 8B 06 0B 2E 15 14 6F 16 65
              7B 8A 06 80 9E 66 30 65 7C 8B 06 12 66 30 65 7D 8B 06 0B 2E 15 14
              6F 16 65 7E 8A 06 80 85 66 30 65 7F 8B 06 14 66 30 65 80 80 8B 06
              0C 2E 15 14 6F 16 65 80 81 8A 06 80 6A 66 30 65 80 82 8B 06 14 66
              30 65 80 83 8B 06 0C 2E 15 14 6F 16 65 80 84 8A 06 80 4E 66 30 65
              80 85 8B 06 13 66 30 65 80 86 8B 06 0B 2E 15 14 6F 16 65 80 87 8A
              06 33 66 30 65 80 88 8B 06 0E 93 27 0B 2E 15 14 6F 16 65 80 89 8A
              06 1D 66 30 65 80 8A 8B 06 13 66 30 65 80 8B 8B 06 0B 2E 15 14 6F
              16 65 80 8C 8A 06 02 04 2D 14 7B 23 6E 03 80 8D AF 03 80 8E 60 6B
              80 8F DB AE 7B 01 65 80 90 A3 7A 2D 04 80 91 AE 2F 80 92 B8 AF 03
              80 93 60 AE 65 80 94 8B 06 07 AE 65 80 95 30 80 96 B8 65 80 97 8A
              06 80 4E 09 0A 1D 07 AE 65 80 99 30 80 96 B8 65 80 9A 8A 06 03 93
              0A 07 AE 65 80 9B 30 80 96 B8 65 80 9C 8A 06 39 93 05 07 AE 65 80
              9D 8A 06 2F 93 04 07 AE 65 80 9F 8A 06 0D 92 03 0A 93 05 0E AE 65
              80 A0 8B 06 07 AE 65 80 A1 30 80 96 9F 19 0D AE 65 80 98 30 06 09
              0A 1D FF B2 1B FF A8 AE 65 80 9E 30 80 96 93 04 51 1B 48)
       (|BOOT|::|devaluate| |BOOT|::|SequentialDifferentialPolynomial| 61.
        |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|::|Symbol| |BOOT|::|SequentialDifferentialVariable|
        (|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.
        (|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|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|559 648 (MAKEPROP 'SequentialDifferentialPolynomial 'infovec ...)-4|
   #36Y(00 00 00 00 00 00 00 00 20 01 DA DB DC DD 63 DE DF 70 06 E1 E2 E3 63 30
        06 5D 5D 7A E4 7B 05 2D 03 0B 19 01)
   (|BOOT|::|SequentialDifferentialPolynomial| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|DifferentialSparseMultivariatePolynomial| 6. 23. 22.)
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|Union| 13. '#1="failed")
      (|BOOT|::|Matrix| |BOOT|::|$|) (|BOOT|::|InputForm|)
      (|BOOT|::|Pattern| (|BOOT|::|Float|)) (|BOOT|::|Pattern| 37.)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|mat| 14.)
       (|BOOT|::|:| |BOOT|::|vec| (|BOOT|::|Vector| 37.)))
      (|BOOT|::|Vector| |BOOT|::|$|) (|BOOT|::|Matrix| 37.)
      (|BOOT|::|PatternMatchResult| (|BOOT|::|Float|) |BOOT|::|$|)
      (|BOOT|::|PatternMatchResult| 37. |BOOT|::|$|)
      (|BOOT|::|Union| |BOOT|::|$| '#1#) (|BOOT|::|Boolean|)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|unit| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|canonical| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|associate| |BOOT|::|$|))
      (|BOOT|::|Fraction| 37.) (|BOOT|::|NonNegativeInteger|)
      (|BOOT|::|SequentialDifferentialVariable| 23.) (|BOOT|::|Symbol|)
      (|BOOT|::|List| 23.) (|BOOT|::|List| 6.) (|BOOT|::|List| |BOOT|::|$|)
      (|BOOT|::|Mapping| |BOOT|::|$| 21.)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|llcm_res| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|coeff1| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|coeff2| |BOOT|::|$|))
      (|BOOT|::|SparseUnivariatePolynomial| |BOOT|::|$|)
      (|BOOT|::|Factored| |BOOT|::|$|) (|BOOT|::|List| 21.)
      (|BOOT|::|Factored| 29.) (|BOOT|::|Union| 34. '#1#) (|BOOT|::|List| 29.)
      (|BOOT|::|Union| 20. '#2="failed") (|BOOT|::|Union| 37. '#2#)
      (|BOOT|::|Integer|) (|BOOT|::|List| 22.)
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|mat| 41.)
       (|BOOT|::|:| |BOOT|::|vec| (|BOOT|::|Vector| 6.)))
      (|BOOT|::|Matrix| 6.) (|BOOT|::|IndexedExponents| 22.)
      (|BOOT|::|List| 44.) (|BOOT|::|Equation| |BOOT|::|$|)
      (|BOOT|::|Union| 22. '#2#) (|BOOT|::|Union| 26. '#3="failed")
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|var| 22.)
       (|BOOT|::|:| |BOOT|::|exponent| 21.))
      (|BOOT|::|Union| 47. '#3#) (|BOOT|::|Union| 50. '#2#)
      (|BOOT|::|SparseMultivariatePolynomial| 6. 23.)
      (|BOOT|::|Union| 23. '#2#) (|BOOT|::|Mapping| 6. 6.)
      (|BOOT|::|SparseUnivariatePolynomial| 6.) (|BOOT|::|Mapping| 42. 42.)
      (|BOOT|::|Union| 6. '#2#) (|BOOT|::|PositiveInteger|) (|BOOT|::|String|)
      (|BOOT|::|SingleInteger|) (|BOOT|::|HashState|) (|BOOT|::|OutputForm|))
    #() 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. 23. 22. 42.)
      (|BOOT|::|PolynomialCategory| 6. 42. 22.)
      (|BOOT|::|MaybeSkewPolynomialCategory| 6. 42. 22.)
      (|BOOT|::|PolynomialFactorizationExplicit|)
      (|BOOT|::|FiniteAbelianMonoidRing| 6. 42.)
      (|BOOT|::|UniqueFactorizationDomain|)
      (|BOOT|::|AbelianMonoidRing| 6. 42.) (|BOOT|::|GcdDomain|)
      (|BOOT|::|IntegralDomain|) (|BOOT|::|DifferentialExtension| 6.)
      (|BOOT|::|FullyLinearlyExplicitOver| 6.) (|BOOT|::|CommutativeRing|)
      (|BOOT|::|LeftOreRing|) (|BOOT|::|Algebra| 20.)
      (|BOOT|::|CharacteristicNonZero|) (|BOOT|::|CharacteristicZero|)
      (|BOOT|::|Algebra| 6.) (|BOOT|::|LinearlyExplicitOver| 6.)
      (|BOOT|::|LinearlyExplicitOver| 37.) (|BOOT|::|Algebra| |BOOT|::|$$|)
      (|BOOT|::|EntireRing|) (|BOOT|::|PartialDifferentialRing| 22.)
      (|BOOT|::|PartialDifferentialRing| 23.) (|BOOT|::|DifferentialRing|)
      (|BOOT|::|Ring|) (|BOOT|::|SemiRing|) (|BOOT|::|Rng|) (|BOOT|::|SemiRng|)
      (|BOOT|::|Module| 20.) (|BOOT|::|Module| 6.)
      (|BOOT|::|Module| |BOOT|::|$$|) (|BOOT|::|NonAssociativeRing|)
      (|BOOT|::|BiModule| 6. 6.) (|BOOT|::|BiModule| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|BiModule| 20. 20.) (|BOOT|::|NonAssociativeRng|)
      (|BOOT|::|LeftModule| 6.) (|BOOT|::|RightModule| 6.)
      (|BOOT|::|RightModule| |BOOT|::|$$|) (|BOOT|::|LeftModule| |BOOT|::|$$|)
      (|BOOT|::|LeftModule| 20.) (|BOOT|::|RightModule| 20.)
      (|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| 37.) (|BOOT|::|FullyRetractableTo| 6.)
      (|BOOT|::|SetCategory|) (|BOOT|::|CommutativeStar|)
      (|BOOT|::|Evalable| |BOOT|::|$$|)
      (|BOOT|::|RetractableTo| (|BOOT|::|SparseMultivariatePolynomial| 6. 23.))
      (|BOOT|::|RetractableTo| 23.) (|BOOT|::|unitsKnown|)
      (|BOOT|::|VariablesCommuteWithCoefficients|)
      (|BOOT|::|InnerEvalable| 22. |BOOT|::|$$|)
      (|BOOT|::|InnerEvalable| 22. 6.) (|BOOT|::|RetractableTo| 6.)
      (|BOOT|::|BasicType|) (|BOOT|::|CoercibleTo| 60.)
      (|BOOT|::|RetractableTo| 20.) (|BOOT|::|RetractableTo| 37.)
      (|BOOT|::|canonicalUnitNormal|) (|BOOT|::|TwoSidedRecip|)
      (|BOOT|::|noZeroDivisors|) (|BOOT|::|ConvertibleTo| 10.)
      (|BOOT|::|ConvertibleTo| 11.) (|BOOT|::|ConvertibleTo| 9.)
      (|BOOT|::|RetractableTo| 22.)
      (|BOOT|::|InnerEvalable| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|InnerEvalable| 23. |BOOT|::|$$|)
      (|BOOT|::|InnerEvalable| 23. 6.))
    -999999. |BOOT|::|lookupIncomplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
