(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 7 (SETQ $CategoryFrame (put 'PositiveInteger '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|::|PositiveInteger| |BOOT|::|SuperDomain|
    (|BOOT|::|NonNegativeInteger|) |BOOT|::|SubDomain|
    (|BOOT|::|PositiveInteger| |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 'PI;qcoerce;I$;1 'SPADreplace ...)-2|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB DC 2D 03 03 19 01)
   (|BOOT|::|PI;qcoerce;I$;1| |BOOT|::|SPADreplace|
    (|BOOT|::|XLAM| (|BOOT|::|n|) |BOOT|::|n|) |BOOT|::|PUT|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|11 11 (SDEFUN PI;qcoerce;I$;1 (# #) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PI;qcoerce;I$;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PI;qcoerce;I$;1| #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(#:|13 13 (DECLAIM (NOTINLINE PositiveInteger;))-4|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|PositiveInteger;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|15 31 (DEFUN PositiveInteger NIL ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PositiveInteger| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PositiveInteger|
       #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|::|PositiveInteger| |BOOT|::|$ConstructorCache|
        |BOOT|::|CDRwithIncrement| 1. |BOOT|::|PositiveInteger;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|33 43 (DEFUN PositiveInteger; NIL ...)-6|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|PositiveInteger;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|PositiveInteger;|
       #47Y(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
            15 19 02)
       ((|BOOT|::|PositiveInteger|) 16. |BOOT|::|GETREFV| 0.
        |BOOT|::|buildPredVector| 3. |BOOT|::|$ConstructorCache|
        |BOOT|::|PositiveInteger| 1. |BOOT|::|haddProp|
        |BOOT|::|stuffDomainSlots|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|) ()
       |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|45 79 (MAKEPROP 'PositiveInteger 'infovec ...)-7|
   #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|::|PositiveInteger| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| (|BOOT|::|NonNegativeInteger|)
      (|BOOT|::|Integer|) |BOOT|::|PI;qcoerce;I$;1| (|BOOT|::|InputForm|)
      (|BOOT|::|PositiveInteger|) (|BOOT|::|Union| |BOOT|::|$| '"failed")
      (|BOOT|::|Boolean|) (|BOOT|::|HashState|) (|BOOT|::|String|)
      (|BOOT|::|OutputForm|) (|BOOT|::|SingleInteger|))
    #(|BOOT|::|~=| 0. |BOOT|::|smaller?| 6. |BOOT|::|sample| 12.
      |BOOT|::|rightRecip| 16. |BOOT|::|rightPower| 21. |BOOT|::|recip| 33.
      |BOOT|::|qcoerce| 38. |BOOT|::|one?| 43. |BOOT|::|min| 48. |BOOT|::|max|
      54. |BOOT|::|leftRecip| 60. |BOOT|::|leftPower| 65. |BOOT|::|latex| 77.
      |BOOT|::|hashUpdate!| 82. |BOOT|::|hash| 88. |BOOT|::|gcd| 93.
      |BOOT|::|convert| 99. |BOOT|::|coerce| 104. |BOOT|::|^| 109.
      |BOOT|::|One| 121. |COMMON-LISP|::|>=| 125. |COMMON-LISP|::|>| 131.
      |COMMON-LISP|::|=| 137. |COMMON-LISP|::|<=| 143. |COMMON-LISP|::|<| 149.
      |COMMON-LISP|::|+| 155. |COMMON-LISP|::|*| 161.)
    1. (0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0.)
    |BOOT|::|makeByteWordVec2|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |BOOT|::|OrderedSet&|
      |BOOT|::|MagmaWithUnit&| |COMMON-LISP|::|NIL| |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|::|OrderedAbelianSemiGroup|) (|BOOT|::|Monoid|)
      (|BOOT|::|OrderedSet|) (|BOOT|::|MagmaWithUnit|) (|BOOT|::|SemiGroup|)
      (|BOOT|::|Comparable|) (|BOOT|::|Magma|) (|BOOT|::|AbelianSemiGroup|)
      (|BOOT|::|CommutativeStar|) (|BOOT|::|SetCategory|)
      (|BOOT|::|ConvertibleTo| 8.) (|BOOT|::|TwoSidedRecip|)
      (|BOOT|::|BasicType|) (|BOOT|::|PartialOrder|)
      (|BOOT|::|CoercibleTo| 14.))
    15.
    (2. 0. 11. 0. 0. 1. 2. 0. 11. 0. 0. 1. 0. 0. 0. 1. 1. 0. 10. 0. 1. 2. 0. 0.
     0. 9. 1. 2. 0. 0. 0. 5. 1. 1. 0. 10. 0. 1. 1. 0. 0. 6. 7. 1. 0. 11. 0. 1.
     2. 0. 0. 0. 0. 1. 2. 0. 0. 0. 0. 1. 1. 0. 10. 0. 1. 2. 0. 0. 0. 9. 1. 2.
     0. 0. 0. 5. 1. 1. 0. 13. 0. 1. 2. 0. 12. 12. 0. 1. 1. 0. 15. 0. 1. 2. 0.
     0. 0. 0. 1. 1. 0. 8. 0. 1. 1. 0. 14. 0. 1. 2. 0. 0. 0. 9. 1. 2. 0. 0. 0.
     5. 1. 0. 0. 0. 1. 2. 0. 11. 0. 0. 1. 2. 0. 11. 0. 0. 1. 2. 0. 11. 0. 0. 1.
     2. 0. 11. 0. 0. 1. 2. 0. 11. 0. 0. 1. 2. 0. 0. 0. 0. 1. 2. 0. 0. 0. 0. 1.
     2. 0. 0. 9. 0. 1.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|81 81 (MAKEPROP 'PositiveInteger 'NILADIC ...)-8|
   #18Y(00 00 00 00 00 00 00 00 20 01 DA DB 64 2D 03 02 19 01)
   (|BOOT|::|PositiveInteger| |BOOT|::|NILADIC| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
