04666d7189d85fd264cad000486f3987  lispref.info-20.gz