149aa50c25a9229556f748cf5598ae0de3ad784827d6e88907e609bb8f3bbef4  lispref.info-25.gz