92d9051112673da838ca7f706edd27c6  lispref.info-1.gz