Re: [graph-tool] Four-color problem :-)