00271fd50eb874d37d6789a5a9144d35  lispref.info-25.gz