User:Jorge Stolfi/CPK coloring