MAYBE
199.07/55.43	MAYBE
199.07/55.43	
199.07/55.43	Problem:
199.07/55.43	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
199.07/55.43	 1(0(1(1(x1)))) -> 0(0(1(0(x1))))
199.07/55.43	
199.07/55.43	Proof:
199.07/55.43	 Open
199.07/55.43	EOF