197.68/50.42	MAYBE
197.68/50.42	
197.68/50.42	Problem:
197.68/50.42	 0(0(0(0(x1)))) -> 1(0(0(1(x1))))
197.68/50.42	 0(1(0(1(x1)))) -> 0(0(1(0(x1))))
197.68/50.42	
197.68/50.42	Proof:
197.68/50.42	 Open
197.68/50.43	EOF