Re: [graph-tool] Removing duplicate graph states