42548650eca0a04523d3a888d0fc36928f9ad003  lispref.info-31.gz