MAYBE
39.01/10.35	MAYBE
39.01/10.35	
39.01/10.35	Problem:
39.01/10.35	 a(x1) -> x1
39.01/10.35	 a(a(x1)) -> b(a(b(c(x1))))
39.01/10.35	 b(x1) -> x1
39.01/10.35	 c(b(x1)) -> a(c(x1))
39.01/10.35	
39.01/10.35	Proof:
39.01/10.35	 Open
39.01/10.35	EOF