3853cea1b2575170ea1c325d3a8c7e7a  lispref.info-6.gz