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