1b484c53b9ee9e005944af7dfe043614c8fd2a5d  lispref.info-12.gz