#include #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(ri,n) for(int ri = (int)(n-1); ri >= 0; ri--) #define rep2(i,x,n) for(int i = (int)(x); i < (int)(n); i++) #define rrep2(ri,x,n) for(int ri = (int)(n-1); ri >= (int)(x); ri--) #define repit(itr,x) for(auto itr = x.begin(); itr != x.end(); itr++) #define rrepit(ritr,x) for(auto ritr = x.rbegin(); ritr != x.rend(); ritr++) #define ALL(x) x.begin(), x.end() using ll = long long; using namespace std; // auto mod int // https://youtu.be/L8grWxBlIZ4?t=9858 // https://youtu.be/ERZuLAxZffQ?t=4807 : optimize // https://youtu.be/8uowVvQ_-Mo?t=1329 : division const int mod = 1000000007; struct mint { ll x; // typedef long long ll; mint(ll x=0):x((x%mod+mod)%mod){} mint operator-() const { return mint(-x);} mint& operator+=(const mint a) { if ((x += a.x) >= mod) x -= mod; return *this; } mint& operator-=(const mint a) { if ((x += mod-a.x) >= mod) x -= mod; return *this; } mint& operator*=(const mint a) { (x *= a.x) %= mod; return *this; } mint operator+(const mint a) const { mint res(*this); return res+=a; } mint operator-(const mint a) const { mint res(*this); return res-=a; } mint operator*(const mint a) const { mint res(*this); return res*=a; } mint pow(ll t) const { if (!t) return 1; mint a = pow(t>>1); a *= a; if (t&1) a *= *this; return a; } // for prime mod mint inv() const { return pow(mod-2); } mint& operator/=(const mint a) { return (*this) *= a.inv(); } mint operator/(const mint a) const { mint res(*this); return res/=a; } }; void fc(int n, vector &a, vector &xxa){ vector xsa(n+1, 0); vector xa(1024, 0); rep(i, n) xsa.at(i+1) = xsa.at(i) ^ a.at(i); rep(i, n+1) xa.at(xsa.at(i)) += 1; rep(i, 1024)rep(j, 1024){ xxa.at(i^j) += xa.at(i) * xa.at(j); } xxa.at(0) -= n+1; rep(i, 1024) xxa.at(i) /= 2; // cerr << xa.at(0).x << endl; } int main(){ int n, m, k; cin >> n >> m >> k; vector a(n); rep(i, n) cin >> a.at(i); vector b(m); rep(i, m) cin >> b.at(i); vector xa(1024, 0), xb(1024, 0); fc(n, a, xa); fc(m, b, xb); mint ans = 0; rep(i, 1024){ int j = k ^ i; ans += xa.at(i) * xb.at(j); } cout << ans.x << endl; return 0; }