Re: [graph-tool] Counting the number of leaves at different times