211.76/50.63	MAYBE
211.76/50.64	
211.76/50.64	Problem:
211.76/50.64	 0(0(0(0(x1)))) -> 1(0(1(1(x1))))
211.76/50.64	 1(0(0(1(x1)))) -> 0(1(0(0(x1))))
211.76/50.64	
211.76/50.64	Proof:
211.76/50.64	 Open
211.76/50.64	EOF