symbolic sha256 computation