Coloring and output encoding