bdac9f98eef09c1d4b5e7643ffee4ba2  lispref.info-31.gz