Michael Trick's graph coloring distribution (local)