191.18/50.29	MAYBE
191.18/50.29	
191.18/50.29	Problem:
191.18/50.29	 0(0(0(0(x1)))) -> 1(0(1(1(x1))))
191.18/50.29	 1(0(0(1(x1)))) -> 0(0(0(0(x1))))
191.18/50.29	
191.18/50.29	Proof:
191.18/50.29	 Open
191.18/50.30	EOF