197.13/50.46	MAYBE
197.13/50.46	
197.13/50.46	Problem:
197.13/50.46	 0(0(0(0(x1)))) -> 0(1(0(1(x1))))
197.13/50.46	 1(0(1(0(x1)))) -> 0(1(0(0(x1))))
197.13/50.46	
197.13/50.46	Proof:
197.13/50.46	 Open
197.39/50.46	EOF