fileprivate struct Scanner { private var elements = [String]() private var index = 0 mutating func peek() -> String { while elements.count == index { elements = readLine()!.split(separator: " ").map(String.init) index = 0 } return elements[index] } mutating func next() -> String { let value = peek() index += 1 return value } mutating func nextInt() -> Int { return Int(next())! } mutating func nextDouble() -> Double { return Double(next())! } } fileprivate let MOD = 1000000007 fileprivate struct Zn { let n: Int init(_ n: Int) { self.n = n } static func + (lhs: Self, rhs: Self) -> Self { let n = lhs.n + rhs.n return Zn(n < MOD ? n : n - MOD) } static func - (lhs: Self, rhs: Self) -> Self { let n = lhs.n - rhs.n return Zn(n >= 0 ? n : n + MOD) } static func * (lhs: Self, rhs: Self) -> Self { Zn((lhs.n * rhs.n) % MOD) } static func += (lhs: inout Self, rhs: Self) { lhs = lhs + rhs } static func -= (lhs: inout Self, rhs: Self) { lhs = lhs - rhs } static func *= (lhs: inout Self, rhs: Self) { lhs = lhs * rhs } func pow(_ n: Int) -> Self { if n == 0 { return Zn(1) } else if n % 2 == 1 { return self * self.pow(n - 1) } else { return (self * self).pow(n / 2) } } var inverse: Self { self.pow(MOD - 2) } } fileprivate struct Array2D { let n1: Int let n2: Int private var elements: [Element] init(repeating: Element, _ n1: Int, _ n2: Int) { self.n1 = n1 self.n2 = n2 self.elements = [Element](repeating: repeating, count: n1 * n2) } subscript(i: Int, j: Int) -> Element { get { elements[i * n2 + j] } set { elements[i * n2 + j] = newValue } } } func main() { var scanner = Scanner() let N = scanner.nextInt() let M = scanner.nextInt() let K = scanner.nextInt() let A = (0 ..< N).map { _ in scanner.nextInt() } let B = (0 ..< M).map { _ in scanner.nextInt() } var S = [0] for i in 0 ..< N { S.append(S.last! ^ A[i]) } var T = [0] for i in 0 ..< M { T.append(T.last! ^ B[i]) } var F = [Int](repeating: 0, count: 1024) var G = [Int](repeating: 0, count: 1024) S.forEach { F[$0] += 1 } T.forEach { G[$0] += 1 } func f(dp: [Zn], array A: [Int]) -> [Zn] { var result = [Zn](repeating: Zn(0), count: 1024) for i in 0 ..< 1024 { for j in 0 ..< 1024 { result[i ^ j] += dp[i] * Zn(A[j]) } } return result } func solve(array F: [Int]) -> Zn { var result = Zn(0) for i in 0 ..< 1024 { result += Zn(F[i]) * Zn(F[K ^ i]) } return result } var dp = [Zn](repeating: Zn(0), count: 1024) dp[0] = Zn(1) dp = f(dp: dp, array: F) dp = f(dp: dp, array: F) dp = f(dp: dp, array: G) dp = f(dp: dp, array: G) var answer = dp[K] if K == 0 { answer += Zn(N + 1) * Zn(M + 1) } answer -= solve(array: F) * Zn(M + 1) answer -= solve(array: G) * Zn(N + 1) answer *= Zn(4).inverse print(answer.n) } main()