typedef long long ll;
typedef long double ld;
#include <bits/stdc++.h>
using namespace std;

const ll MOD = 1e9+7;

int main() {
    // aで0~1023が何通りか調べる
    // bで0~1023が何通りか調べる
    // xとK xor xの掛け算
    
    // 累積xorで0~1023の各数を求める
    // n*2で各ペアの数を求める
    
    ll n,m,k;
    std::cin >> n>>m>>k;
    
    vector<ll> a(n),b(m);
    
    vector<ll> ac(1024),bc(1024);
    
    vector<ll> az(1024),bz(1024);
    
    ll now = 0;
    
    ac[0]++;
    for (int i = 0; i < n; i++) {
        std::cin >> a[i];
        now = now ^ a[i];
        ac[now]++;
    }
    
    now = 0;
    bc[0]++;
    for (int i = 0; i < m; i++) {
        std::cin >> b[i];
        now = now ^ b[i];
        bc[now]++;
    }
    
    for (int i = 0; i < 1024; i++) {
        for (int j = i; j < 1024; j++) {
            if(i==j){
                az[i ^ j] += (ac[i] * ac[j] - ac[j])/2;
                bz[i ^ j] += (bc[i] * bc[j] - bc[j])/2;
            }else{
                az[i ^ j] += ac[i] * ac[j];
                bz[i ^ j] += bc[i] * bc[j];
            }
            az[i ^ j] %= MOD;
            bz[i ^ j] %= MOD;
        }
    }
    
    // // 1,2,0
    
    // for (int i = 0; i < 1024; i++) {
    //     std::cout << az[i]<<" "<<b[i] << std::endl;
    // }
    
    ll ans = 0;
    for (int i = 0; i < 1024; i++) {
        ans += az[i]*bz[k^i]%MOD;
        ans %= MOD;
    }
    
    std::cout << ans << std::endl;
}