MAYBE
180.77/55.62	MAYBE
180.77/55.63	
180.77/55.63	Problem:
180.77/55.63	 0(0(0(0(x1)))) -> 1(0(1(1(x1))))
180.77/55.63	 0(1(0(1(x1)))) -> 0(0(1(0(x1))))
180.77/55.63	
180.77/55.63	Proof:
180.77/55.63	 Open
180.77/55.63	EOF