e746e21c7d910c41b9d79c8c87351cfd4f1ba6b7fa27099aff403ed1781e8c53  lispref.info-6.gz