8a7d8e1b7b0960eb37f811fa17e4c8c0  lispref.info-12.gz