#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

#define rd() ({long _v=0,_c;while(_c=*rp++-48,_c>=0)_v=_v*10+_c;_v;})
#define wt(v) {ulong _z=v;do*--wp=_z%10+48;while(_z/=10);}
#define rep(v,e) for(long v=0;v<e;++v)
#define MD 1000000007

typedef unsigned long ulong;

long t[1024],u[1024];

void f(long*t,long n,char**rpp){
	char*rp=*rpp;
	long a[1024];
	rep(i,1024)a[i]=0;
	a[0]=1;
	{
		long r=0;
		rep(i,n){
			++a[r^=rd()];
		}
	}
	rep(i,1024){
		rep(j,i){
			t[i^j]+=a[i]*a[j];
		}
		t[0]+=a[i]*(a[i]-1)>>1;
	}
	*rpp=rp;
}

int main(){
	char*mmap();
	char*rp=mmap(0l,1l<<25,1,2,0,0ll);
	long n=rd();
	long m=rd();
	long k=rd();
	f(t,n,&rp);
	f(u,m,&rp);
	long z=0;
	rep(i,1024){
		z+=(t[i]%MD)*(u[i^k]%MD);
	}
	z%=MD;
	char wbuf[64],*wp=wbuf+sizeof wbuf;
	wt(z);
	write(1,wp,wbuf+sizeof wbuf-wp);
	_exit(0);
}