196.70/50.41	MAYBE
196.70/50.41	
196.70/50.41	Problem:
196.70/50.41	 0(0(0(0(x1)))) -> 0(1(1(1(x1))))
196.70/50.41	 1(0(1(1(x1)))) -> 0(0(0(1(x1))))
196.70/50.41	
196.70/50.41	Proof:
196.70/50.41	 Open
197.04/50.42	EOF