(|SYSTEM|::|VERSION| '(20080430.))
#0Y_ #0Y |CHARSET|::|UTF-8|
#Y(#:|2 3 (SDEFUN GUESSF1;F2EXPRR;FE;1 (# #) ...)-1|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GUESSF1;F2EXPRR;FE;1| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GUESSF1;F2EXPRR;FE;1|
       #34Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 AF C6 5F 14 94 00
            B2 95 02 36 02 F8 95 02 36 02 19 04)
       (10. 8.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|5 6 (SDEFUN GUESSF1;EXPRR2F;EF;2 (# #) ...)-2|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GUESSF1;EXPRR2F;EF;2| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GUESSF1;EXPRR2F;EF;2|
       #34Y(00 00 00 00 02 00 00 00 26 03 AD C5 5F 14 94 00 AF C6 5F 14 94 00
            B2 95 02 36 02 F8 95 02 36 02 19 04)
       (14. 13.) (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)
       (|BOOT|::|p| |BOOT|::|$|) |COMMON-LISP|::|NIL| 1))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|8 8 (DECLAIM (NOTINLINE GuessFiniteFunctions;))-3|
   #15Y(00 00 00 00 00 00 00 00 20 01 DA 31 62 19 01)
   ((|COMMON-LISP|::|NOTINLINE| |BOOT|::|GuessFiniteFunctions;|))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|10 26 (DEFUN GuessFiniteFunctions (G700) ...)-4|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessFiniteFunctions| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessFiniteFunctions|
       #66Y(03 00 01 00 01 00 00 00 20 02 63 AE 6F 00 7B 01 DB 6B 02 38 01 71
            6E DD 2D 03 04 F8 1C 11 53 14 B0 6F 06 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|::|devaluate| |BOOT|::|GuessFiniteFunctions|
        |BOOT|::|$ConstructorCache| |BOOT|::|domainEqualList|
        |BOOT|::|lassocShiftWithFunction| |BOOT|::|CDRwithIncrement|
        |BOOT|::|GuessFiniteFunctions;|)
       (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|)))
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
#Y(#:|28 41 (DEFUN GuessFiniteFunctions; (#1) ...)-5|
   #20Y(00 00 00 00 00 00 00 00 20 01 DA 2F 01 DA DC 32 9C C5 19 01)
   (|BOOT|::|GuessFiniteFunctions;| |SYSTEM|::|REMOVE-OLD-DEFINITIONS|
    #Y(|BOOT|::|GuessFiniteFunctions;|
       #60Y(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 6B 07 DB AE 7B 01
            E2 A3 7A 2D 04 09 AE 2F 0A B0 AF D0 60 9F 19 05)
       (|BOOT|::|devaluate| |BOOT|::|GuessFiniteFunctions| 16.
        |BOOT|::|GETREFV| 0. |BOOT|::|buildPredVector| 3.
        |BOOT|::|$ConstructorCache| 1. |BOOT|::|haddProp|
        |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(#:|43 63 (MAKEPROP 'GuessFiniteFunctions 'infovec ...)-6|
   #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|::|GuessFiniteFunctions| |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|::|Integer|)
      (0. . |BOOT|::|convert|) (|BOOT|::|Expression| 7.)
      (5. . |BOOT|::|coerce|) |BOOT|::|GUESSF1;F2EXPRR;FE;1|
      (|BOOT|::|Fraction| 7.) (10. . |BOOT|::|retract|)
      (15. . |BOOT|::|coerce|) |BOOT|::|GUESSF1;EXPRR2F;EF;2|)
    #(|BOOT|::|F2EXPRR| 20. |BOOT|::|EXPRR2F| 25.) 1. (0.)
    |BOOT|::|makeByteWordVec2| #(|COMMON-LISP|::|NIL|)
    #((|BOOT|::|Join|
       (|BOOT|::|mkCategory|
        (|COMMON-LISP|::|LIST|
         '((|BOOT|::|F2EXPRR|
            ((|BOOT|::|Expression| (|BOOT|::|Integer|)) |BOOT|::|#1|))
           |COMMON-LISP|::|T|)
         '((|BOOT|::|EXPRR2F|
            (|BOOT|::|#1| (|BOOT|::|Expression| (|BOOT|::|Integer|))))
           |COMMON-LISP|::|T|))
        (|COMMON-LISP|::|LIST|) |COMMON-LISP|::|NIL| |COMMON-LISP|::|NIL|)))
    15.
    (1. 6. 7. 0. 8. 1. 9. 0. 7. 10. 1. 9. 12. 0. 13. 1. 6. 0. 12. 14. 1. 0. 9.
     6. 11. 1. 0. 6. 9. 15.)
    |BOOT|::|lookupComplete| |BOOT|::|MAKEPROP|)
   (|COMMON-LISP|::|T| |COMMON-LISP|::|T| |COMMON-LISP|::|T|))
