Prettier turing-machineized ml output