197.52/50.31	MAYBE
197.52/50.31	
197.52/50.31	Problem:
197.52/50.31	 0(0(0(0(x1)))) -> 0(1(0(1(x1))))
197.52/50.31	 0(1(0(1(x1)))) -> 0(0(1(0(x1))))
197.52/50.31	
197.52/50.31	Proof:
197.52/50.31	 Open
197.52/50.32	EOF