(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 2 (DEFPARAMETER OctonionCategory;CAT 'NIL)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|OctonionCategory;CAT|)
    |BOOT|::|OctonionCategory;CAT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|4 4 (DECLAIM (NOTINLINE OctonionCategory;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|OctonionCategory;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|6 6 (DEFPARAMETER OctonionCategory;AL 'NIL)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 DB 63 31 5A C6 19 01)
   ((|COMMON-LISP|::|SPECIAL| |BOOT|::|OctonionCategory;AL|)
    |BOOT|::|OctonionCategory;AL|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 15 (DEFUN OctonionCategory (t#1) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OctonionCategory| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OctonionCategory|
       #40Y(00 00 00 00 01 00 00 00 26 02 63 AE 6F 00 AC 6B 01 30 02 F9 1C 0F
            AC AD 2F 03 FA 7A 6B 01 30 04 0F 01 9E 19 04 5C 19 04)
       (|BOOT|::|devaluate| |BOOT|::|OctonionCategory;AL| |BOOT|::|assoc|
        |BOOT|::|OctonionCategory;| |BOOT|::|cons5|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|17 77 (DEFUN OctonionCategory; (t#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|OctonionCategory;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|OctonionCategory;|
       #62Y(00 00 00 00 01 00 00 00 26 02 63 DA AF 7B 01 70 01 0E 02 1C 15 DD
            6F 04 DD 6F 05 DD 6F 06 E1 E2 01 02 6E 04 09 2D 04 0A 0F 02 14 30
            0B F8 14 E6 B0 7B 02 AC AF E7 2D 03 0E 16 01 15 19 03)
       ((|BOOT|::|t#1|) |BOOT|::|PAIR| |BOOT|::|OctonionCategory;CAT|
        |BOOT|::|t#1| |BOOT|::|FramedNonAssociativeAlgebra|
        |BOOT|::|FullyRetractableTo| |BOOT|::|FullyEvalableOver|
        (((|BOOT|::|conjugate| (|BOOT|::|$| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|real| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagi| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagj| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagk| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagE| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagI| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagJ| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|imagK| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|norm| (|BOOT|::|t#1| |BOOT|::|$|)) |COMMON-LISP|::|T|)
         ((|BOOT|::|octon|
           (|BOOT|::|$| |BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|t#1|
            |BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|t#1| |BOOT|::|t#1|))
          |COMMON-LISP|::|T|)
         ((|BOOT|::|abs| (|BOOT|::|t#1| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|RealNumberSystem|)))
         ((|BOOT|::|rational?| ((|BOOT|::|Boolean|) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegerNumberSystem|)))
         ((|BOOT|::|rational|
           ((|BOOT|::|Fraction| (|BOOT|::|Integer|)) |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegerNumberSystem|)))
         ((|BOOT|::|rationalIfCan|
           ((|BOOT|::|Union| (|BOOT|::|Fraction| (|BOOT|::|Integer|)) "failed")
            |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|IntegerNumberSystem|)))
         ((|BOOT|::|inv| (|BOOT|::|$| |BOOT|::|$|))
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|Field|))))
        (((|BOOT|::|OrderedSet|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|OrderedSet|)))
         ((|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|))
          (|BOOT|::|has| |BOOT|::|t#1|
           (|BOOT|::|ConvertibleTo| (|BOOT|::|InputForm|))))
         ((|BOOT|::|CharacteristicZero|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|CharacteristicZero|)))
         ((|BOOT|::|CharacteristicNonZero|)
          (|BOOT|::|has| |BOOT|::|t#1| (|BOOT|::|CharacteristicNonZero|))))
        |BOOT|::|mkCategory| |BOOT|::|Join| |BOOT|::|sublisV|
        |BOOT|::|OctonionCategory| 0.
        #.(|SYSTEM|::|GET-SETF-SYMBOL| '|COMMON-LISP|::|ELT|))
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|t#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
