MAYBE
205.60/55.54	MAYBE
205.60/55.54	
205.60/55.54	Problem:
205.60/55.54	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
205.60/55.54	 1(1(0(1(x1)))) -> 0(1(1(0(x1))))
205.60/55.54	
205.60/55.54	Proof:
205.60/55.54	 Open
205.60/55.54	EOF