#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];
  long long bCnts[1024];
  long long *aCnt, *bCnt;
  aCnt = new long long[1024];
  bCnt = new long long[1024];
  for(int i= 0;i < 1024;++i) {
    aCnt[i] = 0;
    bCnt[i] = 0;
    aCnts[i] = 0;
    bCnts[i] = 0;
  }
  for(int i = 0;i < n;++i) {
    long long nextACnt[1024];
    for(int j = 0;j < 1024;++j) {
      nextACnt[j] = 0;
    }
    for(int j = 0;j < 1024;++j) {
      nextACnt[j ^ aList[i]] += aCnt[j];
    }
    nextACnt[aList[i]]++;
    for(int j = 0;j < 1024;++j) {
      aCnt[j] = nextACnt[j];
    }
    for(int j = 0;j < 1024;++j) {
      aCnts[j] += aCnt[j];
    }
  }
  for(int i = 0;i < m;++i) {
    long long nextBCnt[1024];
    for(int j = 0;j < 1024;++j) {
      nextBCnt[j] = 0;
    }
    for(int j = 0;j < 1024;++j) {
      nextBCnt[j ^ bList[i]] += bCnt[j];
    }
    nextBCnt[bList[i]]++;
    for(int j = 0;j < 1024;++j) {
      bCnt[j] = nextBCnt[j];
    }
    for(int j = 0;j < 1024;++j) {
      bCnts[j] += bCnt[j];
    }
  }
  long long ans = 0;
  for(int i = 0;i < 1024;++i) {
    ans += aCnts[i] * bCnts[k ^ i];
    ans %= mod;
  }
  std::cout << ans << std::endl;
  return 0;
}