d1fe85418fa6471935315dfcf6b699ed9eecc8e0  lispref.info-3.gz