0e08de132ece3b3c7da573f17c710041bf9449e6  lispref.info-32.gz