MAYBE
241.72/95.01	MAYBE
241.72/95.01	
241.72/95.01	Problem:
241.72/95.01	 a(a(f(b(),a(x)))) -> f(a(a(a(x))),b())
241.72/95.01	 a(a(x)) -> f(b(),a(f(a(x),b())))
241.72/95.01	 f(a(x),b()) -> f(b(),a(x))
241.72/95.01	
241.72/95.01	Proof:
241.72/95.01	 Open
241.72/95.01	EOF