User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130416193815/@comment-5150073-20130417180711

Now I bothered to do it. Here is the code:

0 _ 1 l 1 1 _ 1 l 2 1' 1 * * 14 2 _ 1 l 3 3 _ 1 l 4 4 _ 1 l s3 s0 1 _ l s5 s0 _ 1 r halt s5 1 1 l s5 s5 _ _ r s3 s3 1 _ l s1 s3 _ 1 r s4 s1 1 1 l s1 s1 _ 1 r s2 s2 1 1 r s2 s2 _ 1 r s3 s4 1 _ l s5 s4 _ 1 l 5 5 1 1 l 6 6 1 x r 7 7 * * r 7 7 _ 1 r 8 8 _ ^ r 9 9 _ 1 r 10 10 _ 1 r 11 11 _ 1 r 12 12 _ | l 13 13 * * l 13 13 x _ l 13 13 _ _ r 1' 14 1 _ r 15 14 _ _ r 23 15 * * r 15 15 _ _ r 16 16 1 x r 17 16 ^ y r 18 16 | | r 20 17 * * r 17 17 _ 1 l 19 18 * * r 18 18 _ ^ l 19 19 * * l 19 19 x 1 r 16 19 y ^ r 16 20 * * r 20 20 _ | l 21 21 * * l 21 21 _ _ l 22 22 * * l 22 22 _ _ r 14 23 * * r 23 23 _ 1 r 24 24 _ 1 r 25 25 _ 1 r 26 26 _ ^ r 27 27 _ ^ r 28 28 _ ^ r 29 29 _ ^ r 30 30 _ ^ r 31 31 _ ^ r 32 32 _ 1 r 33 33 _ 1 r 15' 15' _ * * 0a 0a * * r 0a 0a _ _ l 1a 1a 1 _ l 2a 1a _ _ l 2a 2a ^ _ l 3a 2a 1 1 l 4a 3a ^ _ l 3a 3a 1 _ l 2a 4a 1 1 l 4a 4a ^ 1 l 4a' 4a _ 1 l halt 4a | | r 33a 4a' ^ ^ l 5a 4a' 1 1 r 0a 5a ^ ^ l 5a 5a 1 1 r 6a 6a ^ x r 7a 6a 1 y r 9a 6a | ^ l 12a 7a * * r 7a 7a _ | r 8a 7a | | r 8a 8a * * r 8a 8a _ ^ l 11a 9a * * r 9a 9a | | r 10a 10a * * r 10a 10a _ 1 l 11a 11a * * l 11a 11a x ^ r 6a 11a y 1 r 6a 12a * * l 12a 12a ^ ^ l 12a' 12a' ^ ^ l 12a' 12a' * * l 13a 12a' 1 x r 14a 13a * * l 13a 13a ^ ^ r 20a 13a _ _ r 20a 13a | | r 20a 13a 1 x r 14a 14a * * r 14a 14a ^ ^ r 15a 15a ^ ^ r 15a 15a x x r 16a 15a 1 x l 12a 16a x x r 16a 16a 1 x l 12a 16a ^ x r 17a 17a ^ ^ r 17a 17a 1 ^ r 18a 18a ^ 1 r 17a 18a 1 1 r 18a 18a _ 1 l 19a 19a * * l 19a 19a x x l 12a 20a x 1 r 20a 20a ^ ^ r 21a 21a ^ ^ r 21a 21a x x r 22a 22a x x r 22a 22a 1 _ r 23a 22a ^ ^ l 30a 23a 1 _ r 23a 23a ^ ^ l 24a 24a _ ^ r 25a 25a ^ ^ r 25a 25a 1 1 l 26a 26a ^ 1 r 27a 27a 1 1 r 27a 27a _ _ l 28a 28a 1 _ l 29a 29a * * l 29a 29a _ ^ r 25a 29a x 1 l 30a 30a x 1 l 30a 30a ^ ^ r 31a 31a * * r 31a 31a _ _ l 32a 32a 1 _ l 1a 33a 1 1 r 33a 33a _ 1 l 34a 34a * * l 34a 34a ^ ^ r 35a 35a 1 ^ r 36a 36a 1 1 r 36a 36a | 1 r 37a 37a 1 | l 34a 37a _ _ l 1a