coloring now requires numbered graphs.  a performance hack.
cleanup
merge