(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 7 (SETQ $CategoryFrame (put 'NonNegativeInteger 'SuperDomain ...))-1|
   #39Y(00 00 00 00 00 00 00 00 20 01 DA DB DC DC DD DE DA DC DD 6B 05 6E 03 06
        30 07 7A 6B 05 6E 04 08 2D 04 08 0F 05 19 01)
   (|BOOT|::|NonNegativeInteger| |BOOT|::|SuperDomain| (|BOOT|::|Integer|)
    |BOOT|::|SubDomain|
    (|BOOT|::|NonNegativeInteger| |COMMON-LISP|::|>=| |BOOT|::|#1| 0.)
    |BOOT|::|$CategoryFrame| |BOOT|::|get| |BOOT|::|DELASC| |BOOT|::|put|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|9 9 (PUT 'NNI;sup;3$;1 'SPADreplace ...)-2|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|NNI;sup;3$;1| |BOOT|::|SPADreplace| |COMMON-LISP|::|MAX|
    |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|11 11 (SDEFUN NNI;sup;3$;1 (# # #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|NNI;sup;3$;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|NNI;sup;3$;1|
       #17Y(00 00 00 00 03 00 00 00 26 04 AF AF 33 01 35 19 04) ()
       (|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
       (|BOOT|::|x| |BOOT|::|y| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|13 13 (PUT 'NNI;shift;$I$;2 'SPADreplace ...)-4|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|NNI;shift;$I$;2| |BOOT|::|SPADreplace| |COMMON-LISP|::|ASH|
    |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|15 15 (SDEFUN NNI;shift;$I$;2 (# # #) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|NNI;shift;$I$;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|NNI;shift;$I$;2|
       #16Y(00 00 00 00 03 00 00 00 26 04 AF AF 32 EC 19 04) ()
       (|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
       (|BOOT|::|x| |BOOT|::|n| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|17 17 (PUT 'NNI;qcoerce;I$;3 'SPADreplace ...)-6|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|NNI;qcoerce;I$;3| |BOOT|::|SPADreplace|
    (|BOOT|::|XLAM| (|BOOT|::|n|) |BOOT|::|n|) |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|19 19 (SDEFUN NNI;qcoerce;I$;3 (# #) ...)-7|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|NNI;qcoerce;I$;3| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|NNI;qcoerce;I$;3| #13Y(00 00 00 00 02 00 00 00 26 03 9F 19 03)
       () (|COMMON-LISP|::|T| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)
       (|BOOT|::|n| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|21 25 (SDEFUN NNI;subtractIfCan;2$U;4 (# # #) ...)-8|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|NNI;subtractIfCan;2$U;4| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|NNI;subtractIfCan;2$U;4|
       #30Y(00 00 00 00 03 00 00 00 26 04 63 B0 B0 82 01 38 00 14 8E AE 05 DC
            9E 5D 19 05 DA C6 1B 79)
       (1. "failed" 0.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|x| |BOOT|::|y| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|27 27 (DECLAIM (NOTINLINE NonNegativeInteger;))-9|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|NonNegativeInteger;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|29 46 (DEFUN NonNegativeInteger NIL ...)-10|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|NonNegativeInteger| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|NonNegativeInteger|
       #75Y(03 00 01 00 00 00 00 00 26 01 63 DA 6B 01 38 01 80 6E 00 1C 22 53
            26 6B 01 63 DD 2E 04 5D 7A 7B 01 DA AE AE 31 6F 16 02 5B 5C 79 7E
            03 15 54 05 00 00 00 1D 0E 1B 11 5B 79 2F 02 19 02 05 00 00 00 1C
            05 DA 6B 01 31 70 55 19 02)
       (|BOOT|::|NonNegativeInteger| |BOOT|::|$ConstructorCache|
        |BOOT|::|CDRwithIncrement| 1. |BOOT|::|NonNegativeInteger;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|48 59 (DEFUN NonNegativeInteger; NIL ...)-11|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|NonNegativeInteger;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|NonNegativeInteger;|
       #56Y(00 00 00 00 00 00 00 00 26 01 01 02 C5 F9 DB 2F 02 F8 AD AD C8 60
            DD DD 63 6E 03 04 AD CA 60 6B 06 E1 63 E2 A1 7A 2D 04 09 AC 2F 0A
            AC E5 8B 0C 04 AC E2 30 0D 15 19 02)
       ((|BOOT|::|NonNegativeInteger|) 20. |BOOT|::|GETREFV| 0.
        |BOOT|::|buildPredVector| 3. |BOOT|::|$ConstructorCache|
        |BOOT|::|NonNegativeInteger| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots| (|BOOT|::|AbelianGroup|)
        |BOOT|::|HasCategory| |BOOT|::|augmentPredVector|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|61 111 (MAKEPROP 'NonNegativeInteger 'infovec ...)-12|
   #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|::|NonNegativeInteger| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| (|BOOT|::|Integer|)
      |BOOT|::|NNI;sup;3$;1| |BOOT|::|NNI;shift;$I$;2|
      |BOOT|::|NNI;qcoerce;I$;3| (|BOOT|::|Union| |BOOT|::|$| '"failed")
      |BOOT|::|NNI;subtractIfCan;2$U;4|
      (|BOOT|::|Record| (|BOOT|::|:| |BOOT|::|quotient| |BOOT|::|$|)
       (|BOOT|::|:| |BOOT|::|remainder| |BOOT|::|$|))
      (|BOOT|::|InputForm|) (|BOOT|::|PositiveInteger|)
      (|BOOT|::|NonNegativeInteger|) (|BOOT|::|Boolean|) (|BOOT|::|String|)
      (|BOOT|::|SingleInteger|) (|BOOT|::|HashState|) (|BOOT|::|OutputForm|))
    #(|BOOT|::|~=| 0. |BOOT|::|zero?| 6. |BOOT|::|sup| 11.
      |BOOT|::|subtractIfCan| 17. |BOOT|::|smaller?| 23. |BOOT|::|shift| 29.
      |BOOT|::|sample| 35. |BOOT|::|rightRecip| 39. |BOOT|::|rightPower| 44.
      |BOOT|::|rem| 56. |BOOT|::|recip| 62. |BOOT|::|random| 67. |BOOT|::|quo|
      72. |BOOT|::|qcoerce| 78. |BOOT|::|opposite?| 83. |BOOT|::|one?| 89.
      |BOOT|::|min| 94. |BOOT|::|max| 100. |BOOT|::|leftRecip| 106.
      |BOOT|::|leftPower| 111. |BOOT|::|latex| 123. |BOOT|::|hashUpdate!| 128.
      |BOOT|::|hash| 134. |BOOT|::|gcd| 139. |BOOT|::|exquo| 145.
      |BOOT|::|divide| 151. |BOOT|::|convert| 157. |BOOT|::|coerce| 162.
      |BOOT|::|antiCommutator| 167. |BOOT|::|^| 173. |BOOT|::|Zero| 185.
      |BOOT|::|One| 189. |COMMON-LISP|::|>=| 193. |COMMON-LISP|::|>| 199.
      |COMMON-LISP|::|=| 205. |COMMON-LISP|::|<=| 211. |COMMON-LISP|::|<| 217.
      |COMMON-LISP|::|-| 223. |COMMON-LISP|::|+| 234. |COMMON-LISP|::|*| 240.)
    1.
    (0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0.
     0. 0.)
    |BOOT|::|makeByteWordVec2|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |BOOT|::|OrderedSet&| |COMMON-LISP|::|NIL| |BOOT|::|MagmaWithUnit&|
      |BOOT|::|NonAssociativeSemiRng&| |BOOT|::|AbelianMonoid&|
      |COMMON-LISP|::|NIL| |BOOT|::|Magma&| |BOOT|::|AbelianSemiGroup&|
      |COMMON-LISP|::|NIL| |BOOT|::|SetCategory&| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |BOOT|::|BasicType&| |BOOT|::|PartialOrder&|
      |COMMON-LISP|::|NIL|)
    #((|BOOT|::|SemiRing|) (|BOOT|::|SemiRng|)
      (|BOOT|::|OrderedAbelianMonoidSup|)
      (|BOOT|::|BiModule| |BOOT|::|$$| |BOOT|::|$$|)
      (|BOOT|::|OrderedCancellationAbelianMonoid|)
      (|BOOT|::|RightModule| |BOOT|::|$$|) (|BOOT|::|LeftModule| |BOOT|::|$$|)
      (|BOOT|::|OrderedAbelianMonoid|) (|BOOT|::|OrderedAbelianSemiGroup|)
      (|BOOT|::|Monoid|) (|BOOT|::|NonAssociativeSemiRing|)
      (|BOOT|::|CancellationAbelianMonoid|) (|BOOT|::|OrderedSet|)
      (|BOOT|::|SemiGroup|) (|BOOT|::|MagmaWithUnit|)
      (|BOOT|::|NonAssociativeSemiRng|) (|BOOT|::|AbelianMonoid|)
      (|BOOT|::|Comparable|) (|BOOT|::|Magma|) (|BOOT|::|AbelianSemiGroup|)
      (|BOOT|::|CommutativeStar|) (|BOOT|::|SetCategory|)
      (|BOOT|::|ConvertibleTo| 12.) (|BOOT|::|TwoSidedRecip|)
      (|BOOT|::|BasicType|) (|BOOT|::|PartialOrder|)
      (|BOOT|::|CoercibleTo| 19.))
    19.
    (2. 0. 15. 0. 0. 1. 1. 0. 15. 0. 1. 2. 0. 0. 0. 0. 6. 2. 0. 9. 0. 0. 10. 2.
     0. 15. 0. 0. 1. 2. 0. 0. 0. 5. 7. 0. 0. 0. 1. 1. 0. 9. 0. 1. 2. 0. 0. 0.
     13. 1. 2. 0. 0. 0. 14. 1. 2. 0. 0. 0. 0. 1. 1. 0. 9. 0. 1. 1. 0. 0. 0. 1.
     2. 0. 0. 0. 0. 1. 1. 0. 0. 5. 8. 2. 0. 15. 0. 0. 1. 1. 0. 15. 0. 1. 2. 0.
     0. 0. 0. 1. 2. 0. 0. 0. 0. 1. 1. 0. 9. 0. 1. 2. 0. 0. 0. 13. 1. 2. 0. 0.
     0. 14. 1. 1. 0. 16. 0. 1. 2. 0. 18. 18. 0. 1. 1. 0. 17. 0. 1. 2. 0. 0. 0.
     0. 1. 2. 0. 9. 0. 0. 1. 2. 0. 11. 0. 0. 1. 1. 0. 12. 0. 1. 1. 0. 19. 0. 1.
     2. 0. 0. 0. 0. 1. 2. 0. 0. 0. 13. 1. 2. 0. 0. 0. 14. 1. 0. 0. 0. 1. 0. 0.
     0. 1. 2. 0. 15. 0. 0. 1. 2. 0. 15. 0. 0. 1. 2. 0. 15. 0. 0. 1. 2. 0. 15.
     0. 0. 1. 2. 0. 15. 0. 0. 1. 1. 1. 0. 0. 1. 2. 1. 0. 0. 0. 1. 2. 0. 0. 0.
     0. 1. 2. 1. 0. 5. 0. 1. 2. 0. 0. 0. 0. 1. 2. 0. 0. 14. 0. 1. 2. 0. 0. 13.
     0. 1.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|113 113 (MAKEPROP 'NonNegativeInteger 'NILADIC ...)-13|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|NonNegativeInteger| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
