題面
題意：給出一個序列，問有多少個區間滿足(該區間的gcd)xor(區間或)=k。
n，k≤5e5。

像我這種沒有常識，資料結構想不出就想分治+資料結構的蒟蒻自然是想不出的。

顯然，當右端點r確定了後，不同區間或與gcd都只有logN種，且相同的一段的區間的左端點為一個區間。我們就維護這logN段就可以了。

從小到大列舉r，先更新這logN個區間，再單調地統計答案就可以了。

#include <iostream>
#include <fstream>
#include <algorithm>
#include <cmath>
#include <ctime>
 

#include <cstdio>
#include <cstdlib>
#include <cstring>

using namespace std;
#define mmst(a, b) memset(a, b, sizeof(a))
#define mmcp(a, b) memcpy(a, b, sizeof(b))

typedef long long LL;

const int N=500010;

int n,k,c[N];
LL ans;

int gcd(int x,int y)
{
    if(!y)
    return x;
    return
 
 gcd(y,x%y);
}

int work(int x,int y,int op)
{
    if(!op)
    return (x|y);
    return gcd(x,y);
}

struct yy
{
    int tp,l[N],r[N],b[N],ops;
    void add(int x,int pos)
    {
        for(int i=1;i<=tp;i++)
        b[i]=work(b[i],x,ops);
        tp++;
        l[tp]=r[tp]=pos;
        b[tp]=x;
    }
    void
 
 down()
    {
        int now=1;
        for(int i=2;i<=tp;i++)
        {
            if(b[now]!=b[i])
            {
                l[++now]=l[i];
                b[now]=b[i];
            }
            r[now]=r[i];
        }
        tp=now;
    }
}f,g;

void getans()
{
    int h1=1,h2=1;
    while(1)
    {
        if(f.r[h1]>g.r[h2])
        {
            if((f.b[h1]^g.b[h2])==k)
            ans+=g.r[h2]-max(f.l[h1],g.l[h2])+1;
            h2++;
        }
        else
        {
            if((f.b[h1]^g.b[h2])==k)
            ans+=f.r[h1]-max(f.l[h1],g.l[h2])+1;
            if(h1==f.tp&&h2==g.tp)
            break;
            h1++;
        }
    }
}

int main()
{
    f.ops=1;
    cin>>n>>k;
    for(int i=1;i<=n;i++)
    {
        int hy;
        scanf("%d",&hy);
        f.add(hy,i);
        f.down();
        g.add(hy,i);
        g.down();
        getans();
    }

    cout<<ans<<endl;

    return 0;
}