1542b2c6593a02849c7ea7089b3e6b83f0c9992a  lispref.info-26.gz