xTuringMachine File Format 1.0
#$01xyz* 25
-3 5 -3;
yxyzzyxxy
28;
0 # # R -1;
0 x $ R 1;
0 y $ R 5;
0 z $ R 9;
1 # # R 2;
1 * * R 1;
2 # x L 3;
2 * * R 2;
3 # # L 4;
3 * * L 3;
4 $ x R 0;
4 * * L 4;
5 # # R 6;
5 * * R 5;
6 # y L 7;
6 * * R 6;
7 # # L 8;
7 * * L 7;
8 $ y R 0;
8 * * L 8;
9 # # R 10;
9 * * R 9;
10 # z L 11;
10 * * R 10;
11 # # L 12;
11 * * L 11;
12 $ z R 0;
12 * * L 12;