http://people.math.gatech.edu/~thomas/FC/fourcolor.html