% References cited in https://agora.t9k.dev/t/133/one-tape-time-simulation-in-two-fifths-power-space