61051dc1d42cfc7eb8026fc912cdb0ab31b407a63cbd58b431bdd69eb95f5399  lispref.info-2.gz