197.57/50.51	MAYBE
197.57/50.51	
197.57/50.51	Problem:
197.57/50.51	 C(C(x1)) -> c(c(x1))
197.57/50.51	 c(c(c(c(x1)))) -> x1
197.57/50.51	 b(b(b(b(x1)))) -> B(B(x1))
197.57/50.51	 B(B(B(B(x1)))) -> b(b(x1))
197.57/50.51	 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))))))))))))))
197.57/50.51	 b(b(B(B(x1)))) -> x1
197.57/50.51	 B(B(b(b(x1)))) -> x1
197.57/50.51	 c(c(C(C(x1)))) -> x1
197.57/50.51	 C(C(c(c(x1)))) -> x1
197.57/50.51	
197.57/50.51	Proof:
197.57/50.51	 Open
197.57/50.51	EOF