549b99151a42baefe43bc541b9d10a432cc2902bbf2875ceab4450c2ed18f16f  lispref.info-32.gz