MAYBE
198.68/55.44	MAYBE
198.68/55.44	
198.68/55.44	Problem:
198.68/55.44	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
198.68/55.44	 1(0(1(1(x1)))) -> 0(0(0(1(x1))))
198.68/55.44	
198.68/55.44	Proof:
198.68/55.44	 Open
198.68/55.44	EOF