MAYBE
105.22/51.45	MAYBE
105.22/51.45	
105.22/51.45	Problem:
105.22/51.45	 a(b(x1)) -> b(a(a(a(x1))))
105.22/51.45	 b(a(x1)) -> a(a(x1))
105.22/51.45	 a(a(x1)) -> a(c(b(x1)))
105.22/51.45	
105.22/51.45	Proof:
105.22/51.45	 Open
105.22/51.46	EOF