#include using namespace std; #define fs first #define sc second #define pb push_back #define mp make_pair #define eb emplace_back #define ALL(A) A.begin(),A.end() #define RALL(A) A.rbegin(),A.rend() typedef long long LL; typedef pair P; template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template T gcd(T a,T b){return b?gcd(b,a%b):a;} const LL mod=1000000007; const LL LINF=1LL<<62; const int INF=1<<30; int dx[]={1,0,-1,0,1,-1,1,-1}; int dy[]={0,1,0,-1,1,-1,-1,1}; int main(){ int n,m,k;cin >> n >> m >> k; vector a(n),b(m); for (int i = 0; i < n; i++) { cin >> a[i]; } for (int i = 0; i < m; i++) { cin >> b[i]; } vector ac(1<<11, 0), bc(1<<11, 0); int A = 0, B = 0; ac[0]++; for (int i = 0; i < n; i++) { A ^= a[i]; ac[A]++; } bc[0]++; for (int i = 0; i < m; i++) { B ^= b[i]; bc[B]++; } vector aa(1<<11, 0), bb(1<<11, 0); for (int i = 0; i < 1<<10; i++) { aa[i ^ i] = (aa[i ^ i] + ac[i] * (ac[i] - 1) / 2)%mod; bb[i ^ i] = (bb[i ^ i] + bc[i] * (bc[i] - 1) / 2)%mod; for (int j = i + 1; j < 1<<10; j++) { aa[i ^ j] = (aa[i ^ j] + ac[i] * ac[j]) %mod; bb[i ^ j] = (bb[i ^ j] + bc[i] * bc[j]) %mod; } } LL ans = 0; for (int i = 0; i < 1<<10; i++) { ans = (ans + aa[i] * bb[i ^ k])%mod; } cout << ans << endl; return 0; }