#pragma GCC target("sse,sse2,sse3,ssse3,sse4,popcnt,abm,mmx,avx")
#include <bits/stdc++.h>

int main() {
  long long n, m, k;
  std::cin >> n >> m >> k;
  long long aList[n];
  long long bList[m];
  for(int i = 0;i < n;++i) {
    std::cin >> aList[i];
  }
  for(int i = 0;i < m;++i) {
    std::cin >> bList[i];
  }
  long long mod = 1000000007;
  long long aCnts[1024], bCnts[1024];
  long long *aCnt, *bCnt;
  long long tmp[1024],tmp2[1024];
  aCnt = tmp;
  bCnt = tmp2;
  for(long long i = 0;i < n;++i) {
    long long nextACnt[1024];
    for(long long j = 0;j < 1024;++j) {
      aCnts[j ^ aList[i]] += (nextACnt[j ^ aList[i]] += aCnt[j]);
    }
    aCnts[aList[i]]++;
    nextACnt[aList[i]]++;
    aCnt = nextACnt;
  }
  for(long long i = 0;i < n;++i) {
    long long nextBCnt[1024];
    for(long long j = 0;j < 1024;++j) {
      bCnts[j ^ bList[i]] += (nextBCnt[j ^ bList[i]] += bCnt[j]);
    }
    bCnts[bList[i]]++;
    nextBCnt[bList[i]]++;
    bCnt = nextBCnt;
  }
  long long ans = 0;
  for(long long i = 0;i < 1024;++i) {
    ans += aCnts[i] * bCnts[k ^ i];
    ans %= mod;
  }
  std::cout << ans << std::endl;
  return 0;
}