MAYBE
212.02/55.45	MAYBE
212.02/55.45	
212.02/55.45	Problem:
212.02/55.45	 f(x,a(b(y))) -> f(a(a(b(x))),y)
212.02/55.45	 f(a(x),y) -> f(x,a(y))
212.02/55.45	 f(b(x),y) -> f(x,b(y))
212.02/55.45	
212.02/55.45	Proof:
212.02/55.45	 Open
212.02/55.45	EOF