name: 0100c0100
init: start 
accept: accept

start, 0 
read_0, X, > 

start, 1 
read_1, X, >

read_0, 0
read_0, 0, > 

read_0, 1 
read_0, 1, > 

read_1, 0
read_1, 0, > 

read_1, 1 
read_1, 1, > 

read_0, c
kill_0, c, >

read_1, c 
kill_1, c, > 

kill_0, 0 
return, Y, < 

kill_0, Y 
kill_0, Y, >

kill_1, 1
return, Y, < 

kill_1, Y
kill_1, Y, > 

return, Y
return, Y, < 

return, c 
return, c, < 

return, 0 
return, 0, < 

return, 1 
return, 1, <

return, X 
start, X, > 


start, c 
check_right_empty, c, > 

check_right_empty, Y 
check_right_empty, Y, > 

check_right_empty, _ 
accept, _, -