graph-coloring.ndl 184 KB