Re: [graph-tool] efficiency of graph creation