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