661c523a7e26c01b68c8b284e020aa5bb5153b32  lispref.info-8.gz