Holographic Algorithms -- The Interval Constrained 3-Coloring Problem -- Counting