k (s) denote the color ofs in G[1 ] assigned attth iteration,and let