;----------------------------------------
; Mystery TM1
; INPUT: a block of 0's and 1's
; EXAMPLE: 011001

0  * * * s1
s1 0 0 R s1
s1 1 1 R s1
s1 _ # L s2
s2 0 0 L s2
s2 1 1 L s2
s2 _ _ R s3
s3 0 x R s4
s3 1 y R s5
s3 # _ R halt
s4 # # R s4
s4 0 0 R s4
s4 1 1 R s4
s4 _ 0 L s6
s5 # # R s5
s5 0 0 R s5
s5 1 1 R s5
s5 _ 1 L s6
s6 # # L s6
s6 0 0 L s6
s6 1 1 L s6
s6 x 0 R s3
s6 y 1 R s3

;----------------------------------------
; Mystery TM2
; INPUT: a block of 1's
; EXAMPLE: 111

0  * * * s1
s1 1 1 R s1
s1 _ 1 R halt

;----------------------------------------
; Mystery TM3
; INPUT: two blocks of 1's separated by #
; EXAMPLE: 11#111

0  * * * s1
s1 1 _ R s2
s2 # 1 R s3
s2 1 1 R s2
s3 1 1 R s3
s3 _ _ * halt

;----------------------------------------
; Mystery TM4
; INPUT: two blocks of 1's separated by #
; EXAMPLE: 1111#111

0  * * * s1
s1 1 _ R s2
s1 # _ R s6
s1 _ _ L s7
s2 1 1 R s2
s2 # # R s3
s3 # # R s3
s3 1 # R s4
s3 _ _ L s5
s4 1 1 L s4
s4 # # L s4
s4 _ _ R s1
s5 # _ L s5
s5 1 1 L s5
s5 _ 1 R halt
s6 _ _ R halt
s6 1 _ R s6
s6 # _ R s6
s7 _ _ L s7
s7 # _ L s8
s8 # _ L s8
s8 _ _ * halt
s8 1 1 R halt

;----------------------------------------
; Mystery TM5
; INPUT: a block of 1's
; EXAMPLE: 111

0 * * * s1
s1 1 1 R s2
s1 _ _ R s3
s2 1 1 R s1
s2 _ _ R s5
s3 _ n R s4
s4 _ o R halt
s5 _ y R s6
s6 _ e R s7
s7 _ s R halt

;----------------------------------------
; Mystery TM6
; INPUT: a block of 0's and 1's
; EXAMPLE: 0110

0  * * * s1
s1 0 _ R s2
s1 1 _ R s3
s1 _ y R s7
s2 0 0 R s2
s2 1 1 R s2
s2 _ _ L s4
s3 0 0 R s3
s3 1 1 R s3
s3 _ _ L s5
s4 0 _ L s6
s4 1 _ L s9
s4 _ y R s7
s5 0 _ L s9
s5 1 _ L s6
s5 _ y R s7
s6 0 0 L s6
s6 1 1 L s6
s6 _ _ R s1
s7 _ e R s8
s8 _ s R halt
s9 0 _ L s9
s9 1 _ L s9
s9 _ n R s10
s10 _ o R halt