(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 9 (SDEFUN FAMR2;map;MA1A2;1 (# # #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|FAMR2;map;MA1A2;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|FAMR2;map;MA1A2;1|
       #115Y(00 00 00 00 03 00 00 00 26 04 AD C5 5F 14 94 00 B0 95 02 36 02 16
             01 1C 80 4D AD C7 5F 14 94 00 AF C8 5F 14 94 00 94 07 B2 C9 5F 14
             94 00 B5 95 02 36 02 F8 95 09 76 02 B2 CA 5F 14 94 00 B5 95 02 36
             02 F8 95 03 36 03 F8 B0 CB 5F 14 94 00 B4 B3 CC 5F 14 94 00 B6 95
             02 36 02 F8 95 03 36 03 F8 95 03 36 03 19 05 AD C6 5F 14 94 00 95
             01 36 01 19 05)
       (12. 13. 20. 16. 14. 15. 19. 17.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|f| |BOOT|::|a| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|11 11 (DECLAIM (NOTINLINE FiniteAbelianMonoidRingFunctions2;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|FiniteAbelianMonoidRingFunctions2;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|13 33 (DEFUN FiniteAbelianMonoidRingFunctions2 (&REST G694) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|FiniteAbelianMonoidRingFunctions2|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|FiniteAbelianMonoidRingFunctions2|
       #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|::|FiniteAbelianMonoidRingFunctions2|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|FiniteAbelianMonoidRingFunctions2;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|35 59 (DEFUN FiniteAbelianMonoidRingFunctions2; (#1 #2 #3 ...) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|FiniteAbelianMonoidRingFunctions2;|
    |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|FiniteAbelianMonoidRingFunctions2;|
       #100Y(00 00 00 00 05 00 00 00 26 06 01 07 B8 2F 00 F8 B7 2F 00 F9 B6 2F
             00 FA B5 2F 00 FB B4 2F 00 FC DB AD AF B1 B3 B5 61 06 FD DC 2F 03
             FE B1 B3 C9 60 DE DE 63 6E 03 05 B3 CB 60 6B 07 DB AE B0 B2 B4 B6
             7B 05 E2 A7 7A 2D 04 09 B2 2F 0A B8 B3 D0 60 B7 B3 D1 60 B6 B3 D2
             60 B5 B3 D3 60 B4 B3 D4 60 A3 19 0D)
       (|BOOT|::|devaluate| |BOOT|::|FiniteAbelianMonoidRingFunctions2| 21.
        |BOOT|::|GETREFV| 0. |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| 6. 7. 8. 9. 10.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2| |BOOT|::|#3| |BOOT|::|#4| |BOOT|::|#5|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|61 82 (MAKEPROP 'FiniteAbelianMonoidRingFunctions2 'infovec ...)-5|
   #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|::|FiniteAbelianMonoidRingFunctions2| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|local| |BOOT|::|#1|) (|BOOT|::|local| |BOOT|::|#2|)
      (|BOOT|::|local| |BOOT|::|#3|) (|BOOT|::|local| |BOOT|::|#4|)
      (|BOOT|::|local| |BOOT|::|#5|) (|BOOT|::|Boolean|) (0. . |BOOT|::|zero?|)
      (5. . |BOOT|::|Zero|) (9. . |BOOT|::|leadingCoefficient|)
      (14. . |BOOT|::|degree|) (19. . |BOOT|::|monomial|)
      (25. . |BOOT|::|reductum|) (|BOOT|::|Mapping| 9. 7.)
      |BOOT|::|FAMR2;map;MA1A2;1| (30. . |COMMON-LISP|::|+|))
    #(|BOOT|::|map| 36.) 1. (0.) |BOOT|::|makeByteWordVec2|
    #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|map|
            (|BOOT|::|#5| (|BOOT|::|Mapping| |BOOT|::|#4| |BOOT|::|#2|)
             |BOOT|::|#3|))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    20.
    (1. 8. 11. 0. 12. 0. 10. 0. 13. 1. 8. 7. 0. 14. 1. 8. 6. 0. 15. 2. 10. 0.
     9. 6. 16. 1. 8. 0. 0. 17. 2. 10. 0. 0. 0. 20. 2. 0. 10. 18. 8. 19.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
