/**
 *   @FileName	a.cpp
 *   @Author	kanpurin
 *   @Created	2020.08.01 00:11:44
**/

#include "bits/stdc++.h" 
using namespace std; 
typedef long long ll;

int MOD = 1e9 + 7;
struct mint {
private:
    long long x;
public:
    mint(long long x = 0) : x((MOD + x) % MOD) {}
    mint(std::string& s) {
        long long z = 0;
        for (int i = 0; i < s.size(); i++) {
            z *= 10;
            z += s[i] - '0';
            z %= MOD;
        }
        this->x = z;
    }
    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) {
        long long n = MOD - 2;
        mint u = 1, b = a;
        while (n > 0) {
            if (n & 1) {
                u *= b;
            }
            b *= b;
            n >>= 1;
        }
        return *this *= u;
    }
    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 operator/(const mint& a) const {
        mint res(*this);
        return res /= a;
    }
    friend std::ostream& operator<<(std::ostream& os, const mint& n) {
        return os << n.x;
    }
    bool operator==(const mint& a) const {
        return this->x == a.x;
    }
};
int main() {
    int n, m;
    cin >> n >> m;
    int k;
    cin >> k;
    vector< int > a(n), b(m);
    int sum_a = 0, sum_b = 0;
    vector< mint > cnt_sum_a(1024, 0), cnt_sum_b(1024, 0);
    vector< mint > cnt_sum_a2(1024, 0), cnt_sum_b2(1024, 0);
    cnt_sum_a[0] += 1;
    cnt_sum_b[0] += 1;
    for (int i = 0; i < n; i++) {
        cin >> a[i];
        sum_a ^= a[i];
        cnt_sum_a[sum_a] += 1;
    }
    for (int i = 0; i < m; i++) {
        cin >> b[i];
        sum_b ^= b[i];
        cnt_sum_b[sum_b] += 1;
    }
    for (int i = 0; i < 1024; i++) {
        cnt_sum_a2[0] += cnt_sum_a[i] * (cnt_sum_a[i] - 1) / 2;
        cnt_sum_b2[0] += cnt_sum_b[i] * (cnt_sum_b[i] - 1) / 2;
        for (int j = i + 1; j < 1024; j++) {
            cnt_sum_a2[i ^ j] += cnt_sum_a[i] * cnt_sum_a[j];
            cnt_sum_b2[i ^ j] += cnt_sum_b[i] * cnt_sum_b[j];
        }
    }
    mint ans = 0;
    for (int i = 0; i < 1024; i++) {
        ans += cnt_sum_a2[i] * cnt_sum_b2[k ^ i];
    }
    cout << ans << endl;
    return 0;
}