799341_6fdf419ab0d7985f0f68c31f44f4ee52
似乎由于状态数的限制,k>=3就是trivial的了..?因为\(m\le \lfloor \frac{63}{k}\rfloor\),而可能的xor和个数为\(2^m\)...
k=1的情况显然..?
感觉k=2的情况我还要推一推..