MAYBE
176.24/55.37	MAYBE
176.24/55.37	
176.24/55.37	Problem:
176.24/55.37	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
176.24/55.37	 1(1(0(1(x1)))) -> 0(0(0(0(x1))))
176.24/55.37	
176.24/55.37	Proof:
176.24/55.37	 Open
176.24/55.37	EOF