bring rep up to date with graph coloring