b6d564cf48a6d8034e2c2f8908af978cf97a168b  lispref.info-15.gz