SymPy: sha1 bump