This the home for the computational supplement to my paper (with Stan Wagon) "Four-coloring the US counties" that appeared in the April 2009 issue of Math Horizons. The paper is a complicated, real world application of Stan's map coloring program.