MAYBE
166.91/55.39	MAYBE
166.91/55.39	
166.91/55.39	Problem:
166.91/55.39	 c(b(x1)) -> b(a(x1))
166.91/55.39	 a(c(x1)) -> a(b(c(x1)))
166.91/55.39	 b(b(x1)) -> b(c(x1))
166.91/55.39	 c(a(x1)) -> c(c(c(x1)))
166.91/55.39	
166.91/55.39	Proof:
166.91/55.39	 Open
166.91/55.39	EOF