GROUP [AgentColoring]:
null