MAYBE
253.16/64.14	MAYBE
253.16/64.14	
253.16/64.14	Problem:
253.16/64.14	 1(2(1(x1))) -> 2(0(2(x1)))
253.16/64.14	 0(2(1(x1))) -> 1(0(2(x1)))
253.16/64.14	 L(2(1(x1))) -> L(1(0(2(x1))))
253.16/64.14	 1(2(0(x1))) -> 2(0(1(x1)))
253.16/64.14	 1(2(R(x1))) -> 2(0(1(R(x1))))
253.16/64.14	 0(2(0(x1))) -> 1(0(1(x1)))
253.16/64.14	 L(2(0(x1))) -> L(1(0(1(x1))))
253.16/64.14	 0(2(R(x1))) -> 1(0(1(R(x1))))
253.16/64.14	
253.16/64.14	Proof:
253.16/64.14	 Open
253.16/64.14	EOF