symbolic SHA1 calculator