MAYBE
207.14/55.48	MAYBE
207.14/55.48	
207.14/55.48	Problem:
207.14/55.48	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
207.14/55.48	 1(0(1(1(x1)))) -> 0(1(1(0(x1))))
207.14/55.48	
207.14/55.48	Proof:
207.14/55.48	 Open
207.14/55.49	EOF