% References cited in https://agora.t9k.dev/t/125/exponential-state-costs-for-two-way-automata