#include #include template std::vector vec(int len, T elem) { return std::vector(len, elem); } template struct ModInt { using lint = long long; int val; // constructor ModInt(lint v = 0) : val(v % MOD) { if (val < 0) val += MOD; }; // unary operator ModInt operator+() const { return ModInt(val); } ModInt operator-() const { return ModInt(MOD - val); } ModInt inv() const { return this->pow(MOD - 2); } // arithmetic ModInt operator+(const ModInt& x) const { return ModInt(*this) += x; } ModInt operator-(const ModInt& x) const { return ModInt(*this) -= x; } ModInt operator*(const ModInt& x) const { return ModInt(*this) *= x; } ModInt operator/(const ModInt& x) const { return ModInt(*this) /= x; } ModInt pow(lint n) const { auto x = ModInt(1); auto b = *this; while (n > 0) { if (n & 1) x *= b; n >>= 1; b *= b; } return x; } // compound assignment ModInt& operator+=(const ModInt& x) { if ((val += x.val) >= MOD) val -= MOD; return *this; } ModInt& operator-=(const ModInt& x) { if ((val -= x.val) < 0) val += MOD; return *this; } ModInt& operator*=(const ModInt& x) { val = lint(val) * x.val % MOD; return *this; } ModInt& operator/=(const ModInt& x) { return *this *= x.inv(); } // compare bool operator==(const ModInt& b) const { return val == b.val; } bool operator!=(const ModInt& b) const { return val != b.val; } bool operator<(const ModInt& b) const { return val < b.val; } bool operator<=(const ModInt& b) const { return val <= b.val; } bool operator>(const ModInt& b) const { return val > b.val; } bool operator>=(const ModInt& b) const { return val >= b.val; } // I/O friend std::istream& operator>>(std::istream& is, ModInt& x) noexcept { lint v; is >> v; x = v; return is; } friend std::ostream& operator<<(std::ostream& os, const ModInt& x) noexcept { return os << x.val; } }; constexpr int MOD = 1000000007; using mint = ModInt; constexpr int X = 1024; void solve() { std::vector ns(2); int k; std::cin >> ns[0] >> ns[1] >> k; auto cnts = vec(2, vec(X, mint(0))); for (int i = 0; i < 2; ++i) { std::vector cnt(X, 0); int acc = 0; cnt[acc] += 1; while (ns[i]--) { int x; std::cin >> x; acc ^= x; cnt[acc] += 1; } for (int p = 0; p < X; ++p) { for (int q = 0; q < p; ++q) { cnts[i][p ^ q] += cnt[p] * cnt[q]; } cnts[i][0] += cnt[p] * (cnt[p] - 1) / 2; } } mint ans = 0; for (int p = 0; p < X; ++p) { int q = p ^ k; ans += cnts[0][p] * cnts[1][q]; } std::cout << ans << "\n"; } int main() { std::cin.tie(nullptr); std::ios::sync_with_stdio(false); solve(); return 0; }