MAYBE
149.87/55.33	MAYBE
149.87/55.33	
149.87/55.33	Problem:
149.87/55.33	 a(a(x1)) -> b(a(c(x1)))
149.87/55.33	 b(b(x1)) -> a(a(x1))
149.87/55.33	 c(b(x1)) -> a(x1)
149.87/55.33	
149.87/55.33	Proof:
149.87/55.33	 Open
149.87/55.33	EOF