(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 6 (SDEFUN QUATCT2;map;MQRQS;1 (# # #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|QUATCT2;map;MQRQS;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|QUATCT2;map;MQRQS;1|
       #94Y(00 00 00 00 03 00 00 00 26 04 AD C5 5F 14 94 00 94 05 B0 C6 5F 14
            94 00 B3 95 02 36 02 F8 95 07 76 02 94 06 B1 C7 5F 14 94 00 B4 95
            02 36 02 F8 95 08 76 02 94 07 B2 C8 5F 14 94 00 B5 95 02 36 02 F8
            95 09 76 02 94 08 B3 C9 5F 14 94 00 B6 95 02 36 02 F8 95 0A 76 02
            95 05 36 05 19 05)
       (14. 10. 11. 12. 13.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|fn| |BOOT|::|u| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 8 (DECLAIM (NOTINLINE QuaternionCategoryFunctions2;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|QuaternionCategoryFunctions2;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|10 29 (DEFUN QuaternionCategoryFunctions2 (&REST G692) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|QuaternionCategoryFunctions2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|QuaternionCategoryFunctions2|
       #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|::|QuaternionCategoryFunctions2|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|QuaternionCategoryFunctions2;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|31 52 (DEFUN QuaternionCategoryFunctions2; (#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|::|QuaternionCategoryFunctions2;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|QuaternionCategoryFunctions2;|
       #90Y(00 00 00 00 04 00 00 00 26 05 01 06 B6 2F 00 F8 B5 2F 00 F9 B4 2F
            00 FA B3 2F 00 FB DB AD AF B1 B3 61 05 FC DC 2F 03 FD B0 B2 C9 60
            DE DE 63 6E 03 05 B2 CB 60 6B 07 DB AE B0 B2 B4 7B 04 E2 A6 7A 2D
            04 09 B1 2F 0A B6 B2 D0 60 B5 B2 D1 60 B4 B2 D2 60 B3 B2 D3 60 A2
            19 0B)
       (|BOOT|::|devaluate| |BOOT|::|QuaternionCategoryFunctions2| 17.
        |BOOT|::|GETREFV| 0. |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| 6. 7. 8. 9.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1| |BOOT|::|#2| |BOOT|::|#3| |BOOT|::|#4|)
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|54 73 (MAKEPROP 'QuaternionCategoryFunctions2 '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|::|QuaternionCategoryFunctions2| |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|)
      (0. . |BOOT|::|real|) (5. . |BOOT|::|imagI|) (10. . |BOOT|::|imagJ|)
      (15. . |BOOT|::|imagK|) (20. . |BOOT|::|quatern|)
      (|BOOT|::|Mapping| 9. 7.) |BOOT|::|QUATCT2;map;MQRQS;1|)
    #(|BOOT|::|map| 28.) 1. (0.) |BOOT|::|makeByteWordVec2|
    #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|map|
            (|BOOT|::|#3| (|BOOT|::|Mapping| |BOOT|::|#4| |BOOT|::|#2|)
             |BOOT|::|#1|))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    16.
    (1. 6. 7. 0. 10. 1. 6. 7. 0. 11. 1. 6. 7. 0. 12. 1. 6. 7. 0. 13. 4. 8. 0.
     9. 9. 9. 9. 14. 2. 0. 8. 15. 6. 16.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
