6b40d7c38db04848f9eaec4ed40dbb65589144c22b5c88b4bb4ad24fadf4d843  lispref.info-18.gz