197.35/50.30	MAYBE
197.35/50.30	
197.35/50.30	Problem:
197.35/50.30	 0(0(0(0(x1)))) -> 0(0(0(1(x1))))
197.35/50.30	 1(0(0(1(x1)))) -> 0(0(1(0(x1))))
197.35/50.30	
197.35/50.30	Proof:
197.35/50.30	 Open
197.35/50.31	EOF