Distinguishing_coloring loading ...