8b508a050508c4e6cffa34d2d436615fdc173fc041143cc8736d426790833507  lispref.info-33.gz