MAYBE
245.93/62.66	MAYBE
245.93/62.66	
245.93/62.66	Problem:
245.93/62.66	 a(s(x1)) -> s(a(x1))
245.93/62.66	 b(a(b(s(x1)))) -> a(b(s(a(x1))))
245.93/62.66	 b(a(b(b(x1)))) -> a(b(a(b(x1))))
245.93/62.66	 a(b(a(a(x1)))) -> b(a(b(a(x1))))
245.93/62.66	
245.93/62.66	Proof:
245.93/62.66	 Open
245.93/62.67	EOF