[math-fun] The first valence 7 graceful graph is unique.

I was looking at high valence graceful graphs. I was surprised to find the valence 7 e=35 graceful graph is unique. https://math.stackexchange.com/questions/3246000/graceful-graphs-with-minima... --Ed Pegg Jr