INFORMATION_STATE [AgentColoring]:
null