非常巧妙的一个题。我们首先考虑单组询问该怎么做。首先需要注意到一个结论，即设答案为\(x\)，那么对于\(\forally<x\)，\(y\)都应该放在与组；同样的，对于\(\forally>x\)，\(y\)都应该放在与组。进一步的，我们观察在\(\text{popcount}\)上也有同样的性质，即对于\(\forally,