MAYBE
228.38/57.97	MAYBE
228.38/57.97	
228.38/57.97	Problem:
228.38/57.97	 0(*(x1)) -> *(1(x1))
228.38/57.97	 1(*(x1)) -> 0(#(x1))
228.38/57.97	 #(0(x1)) -> 0(#(x1))
228.38/57.97	 #(1(x1)) -> 1(#(x1))
228.38/57.97	 #($(x1)) -> *($(x1))
228.38/57.97	 #(#(x1)) -> #(x1)
228.38/57.97	 #(*(x1)) -> *(x1)
228.38/57.97	
228.38/57.97	Proof:
228.38/57.97	 Open
228.38/57.97	EOF