https://123dok.org/document/6zkjjneq-solving-mean-payoff-games-via-quasi-dominions.html