MAYBE
170.27/55.55	MAYBE
170.27/55.55	
170.27/55.55	Problem:
170.27/55.55	 0(0(0(0(x1)))) -> 0(0(1(1(x1))))
170.27/55.55	 1(0(0(1(x1)))) -> 0(0(1(0(x1))))
170.27/55.55	
170.27/55.55	Proof:
170.27/55.55	 Open
170.27/55.55	EOF