5787f1d0b1c8811cb20dabdf7a024f52748d9015b6a188c347bf812d58b7cf94  lispref.info-31.gz