MAYBE
65.55/25.00	MAYBE
65.55/25.00	
65.55/25.00	Problem:
65.55/25.00	 a(x1) -> x1
65.55/25.00	 a(b(x1)) -> b(b(c(a(c(x1)))))
65.55/25.00	 c(c(x1)) -> b(a(x1))
65.55/25.00	
65.55/25.00	Proof:
65.55/25.00	 Open
65.55/25.01	EOF