(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (SDEFUN DIFRING-;D;2S;1 (# #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFRING-;D;2S;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFRING-;D;2S;1|
       #23Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 B0 95 02 36 02 19
            04)
       (7.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|r| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 12 (SDEFUN DIFRING-;differentiate;SNniS;2 (# # #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFRING-;differentiate;SNniS;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFRING-;differentiate;SNniS;2|
       #43Y(00 00 00 00 03 00 00 00 26 04 01 02 C5 F8 A1 F9 1B 10 AF C6 5F 14
            94 00 B3 95 02 36 02 16 01 FD 85 00 AC AE 91 01 32 6A A2 19 06)
       (1. 7.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|r| |BOOT|::|n| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|14 15 (SDEFUN DIFRING-;D;SNniS;3 (# # #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFRING-;D;SNniS;3| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFRING-;D;SNniS;3|
       #24Y(00 00 00 00 03 00 00 00 26 04 AD C5 5F 14 94 00 B1 B1 95 03 36 03
            19 05)
       (11.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|r| |BOOT|::|n| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|17 17 (DECLAIM (NOTINLINE DifferentialRing&;))-4|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|DifferentialRing&;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|19 30 (DEFUN DifferentialRing& (#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DifferentialRing&| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DifferentialRing&|
       #48Y(00 00 00 00 01 00 00 00 26 02 01 03 B0 2F 00 F8 DB AD 61 02 F9 DC
            2F 03 FA AD AF C9 60 DE DE 63 6E 03 05 AF CB 60 AE 2F 07 B0 AF CD
            60 9F 19 05)
       (|BOOT|::|devaluate| |BOOT|::|DifferentialRing&| 13. |BOOT|::|GETREFV|
        0. |BOOT|::|buildPredVector| 3. |BOOT|::|stuffDomainSlots| 6.)
       (|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(#:|32 54 (MAKEPROP 'DifferentialRing& '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|::|DifferentialRing&| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|local| |BOOT|::|#1|) (0. . |BOOT|::|differentiate|)
      |BOOT|::|DIFRING-;D;2S;1| (|BOOT|::|NonNegativeInteger|)
      |BOOT|::|DIFRING-;differentiate;SNniS;2| (5. . |BOOT|::|differentiate|)
      |BOOT|::|DIFRING-;D;SNniS;3|)
    #(|BOOT|::|differentiate| 11. |BOOT|::|D| 17.) 1. (0.)
    |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D| (|BOOT|::|#1| |BOOT|::|#1|)) |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate| (|BOOT|::|#1| |BOOT|::|#1|))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    12.
    (1. 6. 0. 0. 7. 2. 6. 0. 0. 9. 11. 2. 0. 0. 0. 9. 10. 2. 0. 0. 0. 9. 12. 1.
     0. 0. 0. 8.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
