Total_coloring loading ...