31f47b5428e229c7251c714b8c96f33c  lispref.info-30.gz