MAYBE
35.64/10.31	MAYBE
35.64/10.31	
35.64/10.31	Problem:
35.64/10.31	 a(x1) -> x1
35.64/10.31	 a(b(x1)) -> b(b(a(a(c(a(x1))))))
35.64/10.31	 c(c(a(x1))) -> x1
35.64/10.31	
35.64/10.31	Proof:
35.64/10.31	 Open
35.64/10.31	EOF