xTuringMachine File Format 1.0
#$01xyz* 25
-3 0 -3;
xxxx
4;
0 # 0 R -1;
0 x x R 1;
1 # 1 R -1;
1 x x R 0;