(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 12 (SDEFUN DIFEXT-;differentiate;SMNniS;1 (# # # ...) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFEXT-;differentiate;SMNniS;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFEXT-;differentiate;SMNniS;1|
       #44Y(00 00 00 00 04 00 00 00 26 05 01 02 C5 F8 A1 F9 1B 11 AF C6 5F 14
            94 00 B4 B4 95 03 36 03 16 01 FE 85 00 AC AE 91 01 32 69 A3 19 07)
       (1. 9.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|derivation| |BOOT|::|n| |BOOT|::|$|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|14 15 (SDEFUN DIFEXT-;D;SMS;2 (# # #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFEXT-;D;SMS;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFEXT-;D;SMS;2|
       #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)
       (9.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|derivation| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|17 19 (SDEFUN DIFEXT-;D;SMNniS;3 (# # # ...) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFEXT-;D;SMNniS;3| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFEXT-;D;SMNniS;3|
       #25Y(00 00 00 00 04 00 00 00 26 05 AD C5 5F 14 94 00 B2 B2 B2 95 04 36
            04 19 06)
       (13.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|derivation| |BOOT|::|n| |BOOT|::|$|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|21 22 (SDEFUN DIFEXT-;differentiate;2S;4 (# #) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFEXT-;differentiate;2S;4| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFEXT-;differentiate;2S;4|
       #27Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 B0 B0 DB 72 5E 95
            03 36 03 19 04)
       (9. 15.) (|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(#:|24 29 (SDEFUN DIFEXT-;differentiate;SSS;5 (# # #) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFEXT-;differentiate;SSS;5| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFEXT-;differentiate;SSS;5|
       #31Y(00 00 00 00 03 00 00 00 26 04 AD C5 5F 14 94 00 B1 99 01 B1 B3 33
            02 00 7A 95 03 36 03 19 05)
       (9. |BOOT|::|DIFEXT-;differentiate;SSS;5!0|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|v| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|31 35 (SDEFUN DIFEXT-;differentiate;SSS;5!0 (# #) ...)-6|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DIFEXT-;differentiate;SSS;5!0| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DIFEXT-;differentiate;SSS;5!0|
       #34Y(00 00 00 00 02 00 00 00 26 03 01 02 AF C5 5F F9 AF C6 5F F8 14 C7
            5F 14 94 00 B2 B0 95 03 36 03 19 06)
       (1. 0. 18.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|s| |BOOT|::|$$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|37 37 (DECLAIM (NOTINLINE DifferentialExtension&;))-7|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|DifferentialExtension&;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|39 70 (DEFUN DifferentialExtension& (#1 #2) ...)-8|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|DifferentialExtension&| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|DifferentialExtension&|
       #96Y(00 00 00 00 02 00 00 00 26 03 01 05 B3 2F 00 F8 B2 2F 00 F9 DB AD
            AF 61 03 FA DC 2F 03 FB AE B0 C9 60 DE DE B4 DF 70 06 B5 E1 70 06
            7B 02 2D 03 08 FC 14 B0 CE 60 AF 2F 0A B3 B0 D0 60 B2 B0 D1 60 AF
            CE 5F FC 14 E7 8B 0E 07 99 0F A1 7A B0 D5 60 B0 EB 8B 0E 07 99 12
            A1 7A B0 D8 60 A0 19 08)
       (|BOOT|::|devaluate| |BOOT|::|DifferentialExtension&| 22.
        |BOOT|::|GETREFV| 0.
        (|BOOT|::|PartialDifferentialRing| (|BOOT|::|Symbol|))
        |BOOT|::|HasCategory| (|BOOT|::|DifferentialRing|)
        |BOOT|::|buildPredVector| 3. |BOOT|::|stuffDomainSlots| 6. 7. 2.
        |BOOT|::|testBitVector| |BOOT|::|DIFEXT-;differentiate;2S;4| 16. 1.
        |BOOT|::|DIFEXT-;differentiate;SSS;5| 19.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|72 134 (MAKEPROP 'DifferentialExtension& 'infovec ...)-9|
   #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|::|DifferentialExtension&| |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|::|Mapping| 7. 7.) (0. . |BOOT|::|differentiate|)
      (|BOOT|::|NonNegativeInteger|) |BOOT|::|DIFEXT-;differentiate;SMNniS;1|
      |BOOT|::|DIFEXT-;D;SMS;2| (6. . |BOOT|::|differentiate|)
      |BOOT|::|DIFEXT-;D;SMNniS;3| (13. . |BOOT|::|differentiate|)
      (18. . |BOOT|::|differentiate|) (|BOOT|::|Symbol|)
      (23. . |BOOT|::|differentiate|) (29. . |BOOT|::|differentiate|)
      (|BOOT|::|List| 17.) (|BOOT|::|List| 10.))
    #(|BOOT|::|differentiate| 35. |BOOT|::|D| 53.) 1. (0.)
    |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|differentiate| (|BOOT|::|#1| |BOOT|::|#1|))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D| (|BOOT|::|#1| |BOOT|::|#1|)) |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|Symbol|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|List| (|BOOT|::|Symbol|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|Symbol|)
             (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|List| (|BOOT|::|Symbol|))
             (|BOOT|::|List| (|BOOT|::|NonNegativeInteger|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D| (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|Symbol|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|List| (|BOOT|::|Symbol|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|Symbol|)
             (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1| (|BOOT|::|List| (|BOOT|::|Symbol|))
             (|BOOT|::|List| (|BOOT|::|NonNegativeInteger|))))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1|
             (|BOOT|::|Mapping| |BOOT|::|#2| |BOOT|::|#2|)
             (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|D|
            (|BOOT|::|#1| |BOOT|::|#1|
             (|BOOT|::|Mapping| |BOOT|::|#2| |BOOT|::|#2|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1|
             (|BOOT|::|Mapping| |BOOT|::|#2| |BOOT|::|#2|)
             (|BOOT|::|NonNegativeInteger|)))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|differentiate|
            (|BOOT|::|#1| |BOOT|::|#1|
             (|BOOT|::|Mapping| |BOOT|::|#2| |BOOT|::|#2|)))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    19.
    (2. 6. 0. 0. 8. 9. 3. 6. 0. 0. 8. 10. 13. 1. 7. 0. 0. 15. 1. 0. 0. 0. 16.
     2. 7. 0. 0. 17. 18. 2. 0. 0. 0. 17. 19. 1. 0. 0. 0. 16. 2. 0. 0. 0. 17.
     19. 3. 0. 0. 0. 8. 10. 11. 2. 0. 0. 0. 8. 12. 3. 0. 0. 0. 8. 10. 14.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
