(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 47 (SDEFUN SYMPOLY;*;3$;1 (# # #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|SYMPOLY;*;3$;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|SYMPOLY;*;3$;1|
       #213Y(00 00 00 00 03 00 00 00 26 04 01 08 93 0B 3B 93 0A 38 B5 C6 5F 14
             94 00 92 0D 34 2E 02 78 95 02 36 02 16 01 1C 2F B5 C9 5F 14 94 00
             B8 B8 CA 5F 14 94 00 95 01 36 01 F8 95 03 36 03 16 01 1C 28 7D 07
             F8 B7 81 63 01 1B 80 77 B5 C5 1B 80 7C 5B 1B 4B 5B 1B 0B B5 C8 5F
             14 94 00 92 0D 74 2E 02 79 B9 95 03 36 03 19 0D A8 19 0C 87 01 00
             7D 02 FB A7 FC 1B 3B B5 CD 5F 14 94 00 B4 B4 95 03 36 03 16 01 FE
             1B 39 A3 19 0C 87 04 03 B5 CB 5F 14 94 00 94 02 94 06 95 03 36 03
             F8 B6 CC 5F 14 94 00 95 03 95 07 95 03 36 03 16 01 7A 84 02 83 04
             A1 21 56 AE 81 64 05 92 07 FF BA A2 FE 7E 07 83 01 9E 21 FF A6 92
             07 FF BD B5 C5 5F 14 94 00 95 01 36 01 19 0D)
       (9. 12. |BOOT|::|FIRST-ERROR| 13. 16. 14. 17. 18. 19.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p1| |BOOT|::|p2| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|49 101 (SDEFUN SYMPOLY;*;3$;2 (# # #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|SYMPOLY;*;3$;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|SYMPOLY;*;3$;2|
       #244Y(00 00 00 00 03 00 00 00 26 04 01 09 93 0C 3B 93 0B 38 B6 C6 5F 14
             94 00 92 0E 34 2E 02 78 95 02 36 02 16 01 1C 2F B6 C9 5F 14 94 00
             B9 B9 CA 5F 14 94 00 95 01 36 01 F8 95 03 36 03 16 01 1C 28 7D 08
             F8 B8 81 63 01 1B 80 96 B6 C5 1B 80 9B 5B 1B 4B 5B 1B 0B B6 C8 5F
             14 94 00 92 0E 74 2E 02 79 BA 95 03 36 03 19 0E A9 19 0D 87 01 00
             7D 02 FB A8 FC 1B 80 58 B6 CF 5F 14 94 00 B5 B5 95 03 36 03 16 01
             FF 1B 80 56 A4 19 0D 87 04 03 B6 CB 5F 14 94 00 B8 CC 5F 14 94 00
             95 04 95 08 95 03 36 03 16 01 FF 14 B9 CD 5F 14 94 00 95 01 36 01
             F8 95 03 36 03 16 01 1D 13 B6 CE 5F 14 94 00 94 02 94 06 95 03 36
             03 F8 A3 7A 84 02 83 04 A1 21 FF B9 AE 81 64 06 92 08 FF 9C A3 FF
             7E 08 83 01 9E 21 FF 87 92 08 FF A0 B6 C5 5F 14 94 00 95 01 36 01
             19 0E)
       (9. 12. |BOOT|::|FIRST-ERROR| 13. 16. 14. 22. 18. 21. 17. 19.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p1| |BOOT|::|p2| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|103 103 (DECLAIM (NOTINLINE SymmetricPolynomial;))-3|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|SymmetricPolynomial;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|105 120 (DEFUN SymmetricPolynomial (G758) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|SymmetricPolynomial| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|SymmetricPolynomial|
       #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|::|SymmetricPolynomial|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|SymmetricPolynomial;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|122 273 (DEFUN SymmetricPolynomial; (#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|SymmetricPolynomial;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|SymmetricPolynomial;|
       #599Y(00 00 00 00 01 00 00 00 26 02 01 07 B4 2F 00 F8 DB AD 61 02 F9 DC
             2F 03 FA AD AF C9 60 DE DE B6 DF 70 06 B7 E1 70 06 B8 E2 70 06 B9
             E3 70 06 BA E4 30 06 09 09 14 92 0A 04 BB E5 30 06 14 BC E6 70 06
             BD E7 70 06 BE E8 70 06 BF E9 30 06 09 0F 14 C0 EA 8A 06 19 C0 EB
             8A 06 14 C0 EC 8A 06 0F 92 0F 0C C0 ED 8A 06 07 C0 EE 8A 06 02 04
             10 14 C1 EF 70 06 C2 F0 70 06 C3 F1 70 06 C4 F2 70 06 66 19 F3 70
             06 66 1A F4 8A 06 05 66 1A F5 30 06 14 66 1B F6 70 06 66 1C F7 70
             06 66 1D 65 1E 30 06 09 1A 14 66 1E 65 1F 8B 06 0A 2E 20 14 6F 21
             65 22 8A 06 10 66 1E 65 23 8A 06 09 66 1E 65 24 8A 06 02 04 1B 14
             66 1F 65 25 8A 06 02 04 1C 14 7B 16 2D 03 26 FE 14 AF 03 27 60 6B
             28 DB AE 7B 01 65 29 A3 7A 2D 04 2A AE 2F 2B B4 AF 03 2C 60 93 03
             06 AE 65 2D 8A 06 0C B4 65 2E 8B 06 0B AE 65 2F 8B 06 05 AE 65 30
             30 31 AE 65 32 8B 06 05 AE 65 33 30 31 B4 65 34 8A 06 0C B4 65 35
             8B 06 0B AE 65 36 8B 06 05 AE 65 37 30 31 B4 65 38 8A 06 80 F6 93
             03 07 AE 65 39 8A 06 80 EC B4 65 3A 8B 06 07 AE 65 3B 8A 06 80 DF
             92 04 80 DB 93 03 07 AE 65 3D 8A 06 80 DD B4 65 3E 8B 06 07 AE 65
             3F 8A 06 80 D0 B4 65 40 8A 06 80 C9 93 03 06 AE 65 42 8A 06 0F B4
             65 43 8B 06 06 AE 65 44 8A 06 03 93 04 05 AE 65 45 30 31 B4 65 46
             8A 06 80 B1 93 03 07 AE 65 47 8A 06 80 A7 B4 65 48 8B 06 07 AE 65
             49 8A 06 80 9A AE 65 4A 8A 06 80 93 92 05 1B 93 03 06 AE 65 4C 8A
             06 12 B4 65 4D 8B 06 06 AE 65 4E 8A 06 06 AE 65 4F 8B 06 05 AE 65
             50 30 31 B4 65 51 8A 06 1B 93 03 06 AE 65 52 8A 06 12 B4 65 53 8B
             06 06 AE 65 54 8A 06 06 AE 65 55 8B 06 05 AE 65 56 30 31 AE 03 27
             5F FE 65 57 2E 58 7A 65 59 A7 7A 7B 02 6F 5A AF 03 5B 60 AE 03 5B
             5F 14 6F 5C AF 03 5D 60 B2 65 5B 8A 5E 2F 99 61 A0 7A AF 03 60 60
             9F 19 09 AE 65 3C 30 31 93 03 FF 26 1B FF 1C AE 65 41 30 31 93 03
             FF 37 1B FF 2E AE 65 4B 30 31 93 05 FF 67 1B FF 7F 99 5F A0 7A AF
             03 60 60 1B 4F)
       (|BOOT|::|devaluate| |BOOT|::|SymmetricPolynomial| 39. |BOOT|::|GETREFV|
        0. (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        |BOOT|::|HasCategory| (|BOOT|::|IntegralDomain|)
        (|BOOT|::|CharacteristicNonZero|) (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|CommutativeRing|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|EntireRing|) (|BOOT|::|AbelianGroup|) (|BOOT|::|SemiRing|)
        (|BOOT|::|Ring|)
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|CharacteristicNonZero|) (|BOOT|::|CharacteristicZero|)
        (|BOOT|::|EntireRing|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|)) (|BOOT|::|Comparable|)
        (|BOOT|::|canonicalUnitNormal|) (|BOOT|::|Field|)
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|RetractableTo| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        (|BOOT|::|GcdDomain|) (|BOOT|::|AbelianMonoid|)
        (|BOOT|::|CancellationAbelianMonoid|)
        (|BOOT|::|Algebra| (|BOOT|::|Fraction| (|BOOT|::|Integer|)))
        |BOOT|::|Integer| |BOOT|::|Fraction| (|BOOT|::|AbelianMonoid|)
        (|BOOT|::|AbelianGroup|) (|BOOT|::|AbelianMonoid|)
        (|BOOT|::|AbelianGroup|) |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| 6.
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) 4194304.
        |BOOT|::|augmentPredVector| (|BOOT|::|CommutativeRing|) 8388608.
        (|BOOT|::|EntireRing|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) 16777216.
        (|BOOT|::|RetractableTo| (|BOOT|::|Integer|))
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) 33554432.
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|SemiRing|)
        67108864. (|BOOT|::|VariablesCommuteWithCoefficients|)
        (|BOOT|::|IntegralDomain|) (|BOOT|::|VariablesCommuteWithCoefficients|)
        134217728. (|BOOT|::|AbelianMonoid|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|AbelianMonoid|)
        268435456. (|BOOT|::|VariablesCommuteWithCoefficients|)
        (|BOOT|::|IntegralDomain|) (|BOOT|::|VariablesCommuteWithCoefficients|)
        (|BOOT|::|AbelianGroup|) 536870912. (|BOOT|::|AbelianGroup|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|IntegralDomain|)
        (|BOOT|::|VariablesCommuteWithCoefficients|) (|BOOT|::|AbelianGroup|)
        1073741824. |BOOT|::|k| |BOOT|::|Partition| |BOOT|::|c|
        |BOOT|::|Record0| 7. |BOOT|::|List| 8. |BOOT|::|testBitVector|
        |BOOT|::|SYMPOLY;*;3$;1| 20. |BOOT|::|SYMPOLY;*;3$;2|)
       (|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(#:|275 330 (MAKEPROP 'SymmetricPolynomial 'infovec ...)-6|
   #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|::|SymmetricPolynomial| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|PolynomialRing| 6. 11.) (|BOOT|::|local| |BOOT|::|#1|)
      '|BOOT|::|Term| '|BOOT|::|Rep| (0. . |BOOT|::|Zero|) (|BOOT|::|Boolean|)
      (|BOOT|::|Partition|) (4. . |BOOT|::|zero?|) (9. . |COMMON-LISP|::|*|)
      (15. . |BOOT|::|One|) (19. . |BOOT|::|One|) (23. . |COMMON-LISP|::|=|)
      (29. . |COMMON-LISP|::|+|) (35. . |COMMON-LISP|::|*|)
      (41. . |COMMON-LISP|::|+|) (47. . |COMMON-LISP|::|*|)
      (53. . |BOOT|::|Zero|) (57. . |BOOT|::|~=|) (|BOOT|::|Integer|)
      (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Union| |BOOT|::|$| '"failed")
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|unit| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|canonical| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|associate| |BOOT|::|$|))
      (|BOOT|::|Fraction| 23.) (|BOOT|::|Union| 27. '#1="failed")
      (|BOOT|::|Union| 23. '#1#) (|BOOT|::|Mapping| 11. 11.)
      (|BOOT|::|List| 6.) (|BOOT|::|Union| 6. '#1#) (|BOOT|::|Mapping| 6. 6.)
      (|BOOT|::|PositiveInteger|) (|BOOT|::|String|) (|BOOT|::|SingleInteger|)
      (|BOOT|::|HashState|) (|BOOT|::|OutputForm|))
    #(|BOOT|::|Zero| 63. |BOOT|::|One| 67. |COMMON-LISP|::|=| 71.
      |COMMON-LISP|::|+| 77. |COMMON-LISP|::|*| 83.)
    22.
    (0. 0. 2. 6. 1. 6. 3. 4. 5. 7. 11. 11. 9. 0. 1. 6. 5. 0. 0. 1. 10. 0. 0. 0.
     0. 1. 1. 11. 8. 22. 9. 9. 0. 0. 21. 9. 0. 0. 14. 0. 0. 6. 0. 0. 0. 0. 6.
     10. 7. 12. 13. 15.)
    |BOOT|::|makeByteWordVec2|
    #(|BOOT|::|FiniteAbelianMonoidRing&| |BOOT|::|AbelianMonoidRing&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|Algebra&|
      |BOOT|::|Algebra&| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|Algebra&| |BOOT|::|EntireRing&| |COMMON-LISP|::|NIL|
      |BOOT|::|Rng&| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|Module&| |BOOT|::|Module&| |BOOT|::|Module&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|NonAssociativeRing&| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|NonAssociativeRng&| |BOOT|::|AbelianGroup&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|NonAssociativeSemiRng&| |COMMON-LISP|::|NIL|
      |BOOT|::|AbelianMonoid&| |BOOT|::|MagmaWithUnit&| |BOOT|::|Magma&|
      |BOOT|::|AbelianSemiGroup&| |COMMON-LISP|::|NIL|
      |BOOT|::|FullyRetractableTo&| |BOOT|::|SetCategory&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|RetractableTo&| |BOOT|::|BasicType&|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|RetractableTo&| |BOOT|::|RetractableTo&|
      |COMMON-LISP|::|NIL|)
    #((|BOOT|::|FiniteAbelianMonoidRing| 6. 11.)
      (|BOOT|::|AbelianMonoidRing| 6. 11.) (|BOOT|::|IntegralDomain|)
      (|BOOT|::|CommutativeRing|) (|BOOT|::|Algebra| 27.)
      (|BOOT|::|Algebra| |BOOT|::|$$|) (|BOOT|::|CharacteristicNonZero|)
      (|BOOT|::|CharacteristicZero|) (|BOOT|::|Algebra| 6.)
      (|BOOT|::|EntireRing|) (|BOOT|::|Ring|) (|BOOT|::|Rng|)
      (|BOOT|::|SemiRing|) (|BOOT|::|SemiRng|) (|BOOT|::|Module| 27.)
      (|BOOT|::|Module| |BOOT|::|$$|) (|BOOT|::|Module| 6.)
      (|BOOT|::|BiModule| 6. 6.) (|BOOT|::|BiModule| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|BiModule| 27. 27.) (|BOOT|::|NonAssociativeRing|)
      (|BOOT|::|LeftModule| 6.) (|BOOT|::|RightModule| 6.)
      (|BOOT|::|RightModule| |BOOT|::|$$|) (|BOOT|::|LeftModule| |BOOT|::|$$|)
      (|BOOT|::|LeftModule| 27.) (|BOOT|::|RightModule| 27.)
      (|BOOT|::|NonAssociativeRng|) (|BOOT|::|AbelianGroup|)
      (|BOOT|::|CancellationAbelianMonoid|) (|BOOT|::|NonAssociativeSemiRing|)
      (|BOOT|::|Monoid|) (|BOOT|::|NonAssociativeSemiRng|)
      (|BOOT|::|SemiGroup|) (|BOOT|::|AbelianMonoid|) (|BOOT|::|MagmaWithUnit|)
      (|BOOT|::|Magma|) (|BOOT|::|AbelianSemiGroup|) (|BOOT|::|Comparable|)
      (|BOOT|::|FullyRetractableTo| 6.) (|BOOT|::|SetCategory|)
      (|BOOT|::|CommutativeStar|) (|BOOT|::|VariablesCommuteWithCoefficients|)
      (|BOOT|::|RetractableTo| 6.) (|BOOT|::|BasicType|)
      (|BOOT|::|CoercibleTo| 38.) (|BOOT|::|TwoSidedRecip|)
      (|BOOT|::|unitsKnown|) (|BOOT|::|noZeroDivisors|)
      (|BOOT|::|RetractableTo| 27.) (|BOOT|::|RetractableTo| 23.)
      (|BOOT|::|canonicalUnitNormal|))
    29.
    (0. 0. 0. 9. 1. 11. 10. 0. 12. 2. 0. 0. 6. 0. 13. 0. 0. 0. 14. 0. 6. 0. 15.
     2. 0. 10. 0. 0. 16. 2. 11. 0. 0. 0. 17. 2. 6. 0. 0. 0. 18. 2. 0. 0. 0. 0.
     19. 2. 0. 0. 0. 0. 20. 0. 6. 0. 21. 2. 6. 10. 0. 0. 22. 0. 29. 0. 9. 0.
     27. 0. 14. 2. 0. 10. 0. 0. 16. 2. 0. 0. 0. 0. 19. 2. 0. 0. 6. 0. 13. 2. 0.
     0. 0. 0. 20.)
    |BOOT|::|lookupIncomplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
