71e0c011d17da43537785d77477e75a7  lispref.info-17.gz