199.04/50.54	MAYBE
199.04/50.54	
199.04/50.54	Problem:
199.04/50.54	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
199.04/50.54	 1(1(0(1(x1)))) -> 0(0(0(0(x1))))
199.04/50.54	
199.04/50.54	Proof:
199.04/50.54	 Open
199.04/50.55	EOF