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