random 7-color Turing machine