Turing machine 1317953