---

This problem is used in private contest:逻辑相关运算