MAYBE
180.53/58.85	MAYBE
180.53/58.85	
180.53/58.85	Problem:
180.53/58.85	 C(C(x1)) -> c(c(x1))
180.53/58.85	 c(c(c(c(x1)))) -> x1
180.53/58.85	 b(b(b(b(x1)))) -> B(B(x1))
180.53/58.85	 B(B(B(B(x1)))) -> b(b(x1))
180.53/58.85	 c(c(B(B(c(c(b(b(c(c(x1)))))))))) -> B(B(c(c(b(b(c(c(B(B(c(c(b(b(x1))))))))))))))
180.53/58.85	 b(b(B(B(x1)))) -> x1
180.53/58.85	 B(B(b(b(x1)))) -> x1
180.53/58.85	 c(c(C(C(x1)))) -> x1
180.53/58.85	 C(C(c(c(x1)))) -> x1
180.53/58.85	
180.53/58.85	Proof:
180.53/58.85	 Open
180.53/58.85	EOF