1445cb89164f09731ffbbfdb1adc9f766b5ba602  lispref.info-30.gz