196.54/50.23	MAYBE
196.54/50.23	
196.54/50.23	Problem:
196.54/50.23	 0(0(0(0(x1)))) -> 0(0(0(1(x1))))
196.54/50.23	 1(0(0(1(x1)))) -> 0(1(0(0(x1))))
196.54/50.23	
196.54/50.23	Proof:
196.54/50.23	 Open
196.54/50.24	EOF