MAYBE
145.71/55.45	MAYBE
145.71/55.45	
145.71/55.45	Problem:
145.71/55.45	 a(a(x1)) -> b(a(b(x1)))
145.71/55.45	 b(b(x1)) -> a(c(b(x1)))
145.71/55.45	 c(c(x1)) -> c(b(a(x1)))
145.71/55.45	 a(b(x1)) -> b(a(x1))
145.71/55.45	 b(c(x1)) -> c(x1)
145.71/55.45	
145.71/55.45	Proof:
145.71/55.45	 Open
145.71/55.46	EOF