Asymmetric Hat Game with three players and three colors | Arena Library | Arena