Joseph Culberson's graph coloring distribution (local)