GraphColoring example
GraphColoringMaster decides the phases
Fixed GraphColoring to work correctly
The buggy GC example we used for screenshots