MAYBE
245.36/62.16	MAYBE
245.36/62.16	
245.36/62.16	Problem:
245.36/62.16	 a(s(x1)) -> s(a(x1))
245.36/62.16	 b(a(b(s(x1)))) -> a(b(s(a(x1))))
245.36/62.16	 b(a(b(b(x1)))) -> c(s(x1))
245.36/62.16	 c(s(x1)) -> a(b(a(b(x1))))
245.36/62.16	 a(b(a(a(x1)))) -> b(a(b(a(x1))))
245.36/62.16	
245.36/62.16	Proof:
245.36/62.16	 Open
245.36/62.16	EOF