turing start.jff 37.0 66.0 R_blank.jff 119.0 103.0 X.jff 205.0 70.0 L_blank.jff 291.0 97.0 R.jff 373.0 66.0 X.jff5 499.0 106.0 R_blank.jff 574.0 92.0 L_blank.jff 497.0 -42.0 L_blank.jff 379.0 190.0 R.jff 482.0 196.0 halt.jff 569.0 189.0 4 5 a,b,c}w w S 6 7 ~ w S 3 4 ~ 9 10 ~ 5 6 ~ 7 4 ~ w S 1 2 ~ 8 9 ~ 4 8 0 2 3 ~ 0 1 ~ 107.0 134.0 261.0 134.0 0 1 ~ ~ R 102.0 135.0 233.0 135.0 0 1 ~ 0 S 66.0 135.0 211.0 135.0 355.0 135.0 1 1 !□ ~ R 1 2 S 0 1 ~ ~ R 126.0 136.0 271.0 136.0 407.0 136.0 1 1 !□ ~ L 0 1 ~ ~ L 1 2 S 123.0 114.0 102.0 135.0 233.0 135.0 0 1 ~ S 126.0 149.0