Re: [graph-tool] Most Efficient Way to Save Lots of Small Graphs