308115b9fdf4624cc76de8d62f6c49497cd8f478  lispref.info-28.gz