127b7ec25b438c4dd4106cc8fd838aec23ab75c7  lispref.info-18.gz