a211550526cd5813524556126bd50f96a3f4cef39012d40e0353a70a5cafb7ff  lispref.info-26.gz