81fd8f6d97997863281898e8ef8e119af38d40dd  lispref.info-6.gz