a05d541ff7ddf9d94d3410722b4b17654cdf2fb0  lispref.info-5.gz