Problem: The Fair Nut has two arrays a and b, consisting of n numbers. He found them so long ago that no one knows when they came to him.

The Fair Nut often changes numbers in his arrays. He also is interested in how similar a and b are after every modification.

Let's denote similarity of two arrays as the minimum number of operations to apply to make arrays equal (every operation can be applied for both arrays). If it is impossible, similarity will be equal -1.

Per one operation you can choose a subarray with length k (k is fixed), and change every element a_i, which belongs to the chosen subarray, to a_i ⊕ x (x can be chosen), where ⊕ denotes the [bitwise XOR operation](https://en.wikipedia.org/wiki/Bitwise_operation#XOR). 

Nut has already calculated the similarity of the arrays after every modification. Can you do it?

Note that you just need to calculate those values, that is you do not need to apply any operations.

Input

The first line contains three numbers n, k and q (1 ≤ k ≤ n ≤ 2 ⋅ 10^5, 0 ≤ q ≤ 2 ⋅ 10^5) — the length of the arrays, the length of the subarrays, to which the operations are applied, and the number of queries.

The second line contains n integers a_1, a_2, …, a_n (0 ≤ a_i < 2^{14}) — elements of array a.

The third line contains n integers b_1, b_2, …, b_n (0 ≤ b_i < 2^{14}) — elements of array b.

Each of the next q lines describes query and contains string s and two integers p and v (1 ≤ p ≤ n, 0 ≤ v < 2^{14}) — array, which this query changes («a» or «b» without quotes), index of changing element and its new value.

Output

On the first line print initial similarity of arrays a and b.

On the i-th of following q lines print similarity of a and b after applying first i modifications.

Examples

Input

3 3 1
0 4 2
1 2 3
b 2 5


Output

-1
1


Input

3 2 2
1 3 2
0 0 0
a 1 0
b 1 1


Output

2
-1
2

Note

In the first sample making arrays [0, 4, 2] and [1, 2, 3] is impossible with k=3. After the modification, you can apply the operation with x=1 to the whole first array (its length is equal to k), and it will be equal to the second array.

In order to make arrays equal in the second sample before changes, you can apply operations with x=1 on subarray [1, 2] of a and with x=2 on subarray [2, 3] of b.

After all queries arrays will be equal [0, 3, 2] and [1, 0, 0]. The same operations make them equal [1, 2, 2].

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int a[200000], b[200000], x[200000], n, k;
struct data {
  vector<int> arr, lazy;
  vector<unordered_map<int, int> > M;
  vector<array<int, 1 << 14> > M2;
  int B, zeros = 0;
  int init(int n) {
    int i;
    arr.resize(n), B = sqrt(n);
    lazy.resize((n + B - 1) / B, 0);
    if (k < 50) {
      M2.resize((n + B - 1) / B);
      for (i = 0; i < n; i++) M2[i / B][0]++;
    } else {
      M.resize((n + B - 1) / B);
      for (i = 0; i < n; i++) M[i / B][0]++;
    }
    zeros = n;
    return 0;
  }
  int update(int i, int x) {
    for (; i < arr.size(); i++) {
      if ((i % B) == 0) break;
      zeros -= (arr[i] == lazy[i / B]);
      if (k < 50)
        M2[i / B][arr[i]]--;
      else {
        M[i / B][arr[i]]--;
        if (M[i / B][arr[i]] == 0) M[i / B].erase(arr[i]);
      }
      arr[i] ^= x;
      zeros += (arr[i] == lazy[i / B]);
      if (k < 50)
        M2[i / B][arr[i]]++;
      else
        M[i / B][arr[i]]++;
    }
    if (i == arr.size()) return 0;
    i /= B;
    for (; B * i < arr.size(); i++) {
      if (k < 50)
        zeros -= M2[i][lazy[i]];
      else if (M[i].count(lazy[i]))
        zeros -= M[i][lazy[i]];
      lazy[i] ^= x;
      if (k < 50)
        zeros += M2[i][lazy[i]];
      else if (M[i].count(lazy[i]))
        zeros += M[i][lazy[i]];
    }
    return 0;
  }
  int getVal(int i) { return arr[i] ^ lazy[i / B]; }
  int getBack() { return getVal(arr.size() - 1); }
};
data d[200000];
int ans = 0, no = 0;
int update(int p, int xx) {
  if (k == 1) {
    ans -= (d[0].arr[p] == 0);
    if (p == n - 1) no -= (d[0].arr[p] == 0);
    d[0].arr[p] ^= xx, ans += (d[0].arr[p] == 0);
    if (p == n - 1) no += (d[0].arr[p] == 0);
  } else if (k == 2) {
    ans -= d[0].zeros, no -= (d[0].getBack() != 0);
    d[0].update(p, xx);
    ans += d[0].zeros, no += (d[0].getBack() != 0);
  } else {
    ans -= d[p % k].zeros;
    if ((p % k) != (n % k)) no -= (d[p % k].getBack() != 0);
    d[p % k].update(p / k, xx);
    ans += d[p % k].zeros;
    if ((p % k) != (n % k)) no += (d[p % k].getBack() != 0);
    if (p + 1 < n) {
      p++;
      ans -= d[p % k].zeros;
      if ((p % k) != (n % k)) no -= (d[p % k].getBack() != 0);
      d[p % k].update(p / k, xx);
      ans += d[p % k].zeros;
      if ((p % k) != (n % k)) no += (d[p % k].getBack() != 0);
    }
  }
  return 0;
}
int main() {
  int i;
  int q, p, v;
  char s;
  scanf("%d %d %d", &n, &k, &q);
  for (i = 0; i < n; i++) scanf("%d", &a[i]);
  for (i = 0; i < n; i++) scanf("%d", &b[i]), x[i] = a[i] ^ b[i];
  if (k == 2)
    d[0].init(n);
  else {
    for (i = 0; i < k; i++) d[i].init((n - i + k - 1) / k);
  }
  ans = n;
  if (k <= 2) {
    for (i = 0; i < n; i++) update(i, x[i]);
  } else {
    for (i = 0; i < n; i++) {
      int p = i, xx = x[i] ^ ((i == 0) ? 0 : x[i - 1]);
      ans -= d[p % k].zeros;
      if ((p % k) != (n % k)) no -= (d[p % k].getBack() != 0);
      d[p % k].update(p / k, xx);
      ans += d[p % k].zeros;
      if ((p % k) != (n % k)) no += (d[p % k].getBack() != 0);
    }
  }
  if (no > 0)
    printf("-1\n");
  else
    printf("%d\n", n - ans);
  for (i = 0; i < q; i++) {
    scanf(" %c %d %d", &s, &p, &v), p--;
    int xx;
    if (s == 'a')
      xx = a[p] ^ v, a[p] = v, x[p] ^= xx;
    else
      xx = b[p] ^ v, b[p] = v, x[p] ^= xx;
    update(p, xx);
    if (no > 0)
      printf("-1\n");
    else
      printf("%d\n", n - ans);
  }
  return 0;
}