MAYBE
238.41/60.34	MAYBE
238.41/60.34	
238.41/60.34	Problem:
238.41/60.34	 R(2(x1)) -> 2(R(x1))
238.41/60.34	 R(3(x1)) -> 3(R(x1))
238.41/60.34	 R(1(x1)) -> L(3(x1))
238.41/60.34	 3(L(x1)) -> L(3(x1))
238.41/60.34	 2(L(x1)) -> L(2(x1))
238.41/60.34	 0(L(x1)) -> 2(R(x1))
238.41/60.34	 R(b(x1)) -> c(1(b(x1)))
238.41/60.34	 3(c(x1)) -> c(1(x1))
238.41/60.34	 2(c(1(x1))) -> c(0(R(1(x1))))
238.41/60.34	 2(c(0(x1))) -> c(0(0(x1)))
238.41/60.34	
238.41/60.34	Proof:
238.41/60.34	 Open
238.41/60.34	EOF