b7d1ab0dbc0cff2baf2756ee8040a683  lispref.info.gz