% References cited in https://agora.t9k.dev/t/142/positive-metric-entropy-for-the-standard-map