(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 12 (SDEFUN REPDB;double;Pi2S;1 (# # #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|REPDB;double;Pi2S;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|REPDB;double;Pi2S;1|
       #82Y(00 00 00 00 03 00 00 00 26 04 AF 24 00 21 AF 8E AF 20 AD C7 5F 14
            94 00 B1 DD 72 EC B0 C6 5F 14 94 00 B3 B4 95 03 36 03 F8 95 03 36
            03 19 05 9F 19 04 AD C6 5F 14 94 00 B0 B0 C7 5F 14 94 00 B4 DD 72
            EC B3 C6 5F 14 94 00 B6 B7 95 03 36 03 F8 1B 52)
       (1. 7. 9. -1.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|n| |BOOT|::|x| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|14 14 (DECLAIM (NOTINLINE RepeatedDoubling;))-2|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|RepeatedDoubling;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|16 27 (DEFUN RepeatedDoubling (#1) ...)-3|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|RepeatedDoubling| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|RepeatedDoubling|
       #48Y(00 00 00 00 01 00 00 00 26 02 01 03 B0 2F 00 F8 DB AD 61 02 F9 DC
            2F 03 FA AD AF C9 60 DE DE 63 6E 03 05 AF CB 60 AE 2F 07 B0 AF CD
            60 9F 19 05)
       (|BOOT|::|devaluate| |BOOT|::|RepeatedDoubling| 10. |BOOT|::|GETREFV| 0.
        |BOOT|::|buildPredVector| 3. |BOOT|::|stuffDomainSlots| 6.)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|#1|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|29 43 (MAKEPROP 'RepeatedDoubling 'infovec ...)-4|
   #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|::|RepeatedDoubling| |BOOT|::|infovec|
    #(|COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|
      (|BOOT|::|local| |BOOT|::|#1|) (0. . |COMMON-LISP|::|+|)
      (|BOOT|::|PositiveInteger|) |BOOT|::|REPDB;double;Pi2S;1|)
    #(|BOOT|::|double| 6.) 1. (0.) |BOOT|::|makeByteWordVec2|
    #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|double|
            (|BOOT|::|#1| (|BOOT|::|PositiveInteger|) |BOOT|::|#1|))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    9. (2. 6. 0. 0. 0. 7. 2. 0. 6. 8. 6. 9.) |BOOT|::|lookupComplete|
    |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
