[graph-tool] How BIG is your graph