Colorations by 1024