34ba01801b1723c4cd63833b53d9c27e1d0b892cbf16a06cdc87a464dbac3173  lispref.info-30.gz