Re: [graph-tool] Memory requirement estimate for a large graph