% References cited in https://agora.t9k.dev/t/101/quasipolynomial-algorithms-for-mean-payoff-stochastic-and-parity-games