MAYBE
196.21/55.55	MAYBE
196.21/55.55	
196.21/55.55	Problem:
196.21/55.55	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
196.21/55.55	 1(0(0(1(x1)))) -> 0(0(1(0(x1))))
196.21/55.55	
196.21/55.55	Proof:
196.21/55.55	 Open
196.21/55.56	EOF