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