196.42/50.26	MAYBE
196.42/50.26	
196.42/50.26	Problem:
196.42/50.26	 0(0(0(0(x1)))) -> 0(1(0(1(x1))))
196.42/50.26	 1(0(0(1(x1)))) -> 0(1(0(0(x1))))
196.42/50.26	
196.42/50.26	Proof:
196.42/50.26	 Open
196.42/50.27	EOF