1ccb375f70cd41730b55384ccbe63669de8d60523e538862b0c658158eb7f6d7  lispref.info-10.gz