8ffa1f20677ae1543ac5c1debf730196c8332e2d5ff53ca2cc728a85d31b2a6b  lispref.info-5.gz