MAYBE
34.64/10.30	MAYBE
34.64/10.30	
34.64/10.30	Problem:
34.64/10.30	 a(x1) -> x1
34.64/10.30	 a(b(x1)) -> b(a(a(c(x1))))
34.64/10.30	 b(x1) -> x1
34.64/10.30	 c(c(a(x1))) -> b(x1)
34.64/10.30	
34.64/10.30	Proof:
34.64/10.30	 Open
34.64/10.30	EOF