Re: [graph-tool] clique-finding algorithm