首先利用前缀异或和进行转化,有\(s_z⊕s_{x-1}⊕a_y>s_z⊕s_{x-1}\)
发现\(a_y\)比较特殊,于是枚举\(y\),接下来考虑当\(a_y\)定了之后的答案是什么
介绍一个小知识点:若\(a⊕b>a(b>0)\),设\(b\)的最高位为\(i\),则充要条件为\(a\)的第\(i\)位为\(0\)(这个分类讨论一下就好了)
于是题目就很简单了