197.18/50.47	MAYBE
197.18/50.47	
197.18/50.47	Problem:
197.18/50.47	 a(a(x1)) -> b(a(b(x1)))
197.18/50.47	 b(b(x1)) -> a(c(b(x1)))
197.18/50.47	 c(c(x1)) -> c(b(a(x1)))
197.18/50.47	 a(b(x1)) -> b(a(x1))
197.18/50.47	 b(c(x1)) -> c(x1)
197.18/50.47	
197.18/50.47	Proof:
197.18/50.47	 Open
197.18/50.47	EOF