b5cffd7a66181dd73f68718ef87873e7  lispref.info-22.gz