universal turing machines class 31 7884647