MAYBE
203.75/55.53	MAYBE
203.75/55.53	
203.75/55.53	Problem:
203.75/55.53	 0(0(0(0(x1)))) -> 0(1(1(0(x1))))
203.75/55.53	 1(0(0(1(x1)))) -> 0(0(1(0(x1))))
203.75/55.53	
203.75/55.53	Proof:
203.75/55.53	 Open
203.75/55.54	EOF