# Reverse Machine in the note
K = {qs,qs',s,aL1,aL2,aL3,aL4,aR1,aR2,aR3,aR4,bL1,bL2,bL3,bL4,bR1,bR2,bR3,bR4,END,Clean}
E = {a,b,a',b'}
s = qs
d =
# Go to left
qs-#/L->qs'
qs'-a/L->qs'
qs'-b/L->qs'
qs'-#/R->s

# The machine
s-#/#->h
s-a/a'->aL1
s-b/b'->bL1

# The side for a
aL1-a'/R->aL2
aL2-a/R->aL3
aL2-b/R->aL3
aL2-a'/R->END
aL2-b'/R->END
aL2-#/L->Clean
aL3-a/R->aL3
aL3-b/R->aL3
aL3-a'/L->aL4
aL3-b'/L->aL4
aL3-#/L->aL4
aL4-a/a'->aR4
aL4-b/a'->bR4
aR4-a'/L->aR3
aR4-b'/L->aR3
aR3-a'/a'->END
aR3-b'/a'->END
aR3-a/L->aR2
aR3-b/L->aR2
aR2-a/L->aR2
aR2-b/L->aR2
aR2-a'/a'->aR1
aR2-b'/a'->aR1
aR1-a'/R->s

# The side for b
bL1-b'/R->bL2
bL2-a/R->bL3
bL2-b/R->bL3
bL2-a'/R->END
bL2-b'/R->END
bL2-#/L->Clean
bL3-a/R->bL3
bL3-b/R->bL3
bL3-a'/L->bL4
bL3-b'/L->bL4
bL3-#/L->bL4
bL4-a/b'->aR4
bL4-b/b'->bR4
bR4-a'/L->bR3
bR4-b'/L->bR3
bR3-a'/b'->END
bR3-b'/b'->END
bR3-a/L->bR2
bR3-b/L->bR2
bR2-a/L->bR2
bR2-b/L->bR2
bR2-a'/b'->bR1
bR2-b'/b'->bR1
bR1-b'/R->s

# The END state
END-a'/R->END
END-b'/R->END
END-#/L->Clean

# The Clean Up Machine
Clean-a'/a->Clean
Clean-a/L->Clean
Clean-b'/b->Clean
Clean-b/L->Clean
Clean-#/#->h
%