26a0edc207bbf17bfec185149b50273d  lispref.info-10.gz