Re: [graph-tool] How BIG is your graph