0b700fddd97b34a295e8da3f2bd4cadc166acd24  lispref.info-21.gz