MAYBE
154.54/55.46	MAYBE
154.54/55.46	
154.54/55.46	Problem:
154.54/55.46	 0(0(0(0(x1)))) -> 1(0(1(1(x1))))
154.54/55.46	 1(0(0(1(x1)))) -> 0(1(0(0(x1))))
154.54/55.46	
154.54/55.46	Proof:
154.54/55.46	 Open
154.54/55.47	EOF