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;
inline int read() {
  char ch = getchar();
  int nega = 1;
  while (!isdigit(ch)) {
    if (ch == '-') nega = -1;
    ch = getchar();
  }
  int ans = 0;
  while (isdigit(ch)) {
    ans = ans * 10 + ch - 48;
    ch = getchar();
  }
  if (nega == -1) return -ans;
  return ans;
}
inline char rdchar() {
  char ch = getchar();
  while (!(ch >= 'a' && ch <= 'z') && !(ch >= 'A' && ch <= 'Z') &&
         !(ch >= '0' && ch <= '9'))
    ch = getchar();
  return ch;
}
int a[200005], n, k, q, s[200005];
const int S = 550;
int pool[200005 * 96];
int *p = pool;
int *_pool[200005 * 2], **_p = _pool;
vector<int> b[200005];
int cat, sum;
int A[200005], B[200005];
struct Node {
  bool spe;
  vector<int> val;
  vector<int> tag, L, R;
  int **x;
  int tot, ans, len, cnt;
  void init(vector<int> v, bool s) {
    spe = s, val = v, len = v.size();
    for (int i = 1; i < len; i++) val[i] ^= val[i - 1];
    tot = val[len - 1];
    ans = 0;
    cnt = (len + S - 1) / S;
    if (cnt == 1) {
      for (int i = 0; i < len; i++)
        if (!val[i]) ans++;
      if (!spe && tot != 0) cat++;
      return;
    }
    tag.resize(cnt), L.resize(cnt), R.resize(cnt);
    for (int i = 0; i < cnt; i++)
      L[i] = i * S, R[i] = min((i + 1) * S - 1, len - 1);
    x = _p;
    _p += cnt;
    for (int i = 0; i < cnt; i++) {
      x[i] = p, p += 1 << 14;
    }
    for (int i = 0; i < cnt; i++) {
      for (int j = L[i]; j <= R[i]; j++) {
        x[i][val[j]]++;
        if (val[j] == 0) ans++;
      }
    }
    if (!spe && tot != 0) cat++;
  }
  void rebuild(int id, int pl, int d) {
    ans -= x[id][tag[id]];
    for (int i = L[id]; i <= R[id]; i++) x[id][val[i]]--;
    for (int i = L[id]; i <= R[id]; i++) val[i] ^= tag[id];
    for (int i = pl; i <= R[id]; i++) val[i] ^= d;
    for (int i = L[id]; i <= R[id]; i++) {
      x[id][val[i]]++;
      if (!val[i]) ans++;
    }
    tag[id] = 0;
  }
  void update(int pl, int va) {
    if (cnt == 1) {
      if (!spe && tot != 0) cat--;
      ans = 0;
      for (int i = pl; i < len; i++) val[i] ^= va;
      for (int i = 0; i < len; i++)
        if (!val[i]) ans++;
      tot = val[len - 1];
      if (!spe && tot != 0) cat++;
      return;
    }
    int bel = pl / S;
    int d = va;
    rebuild(bel, pl, d);
    for (int i = bel + 1; i < cnt; i++) {
      ans -= x[i][tag[i]];
      tag[i] ^= d;
      ans += x[i][tag[i]];
    }
    if (!spe && tot != 0) cat--;
    tot ^= d;
    if (!spe && tot != 0) cat++;
  }
};
vector<Node> nd;
void update(int id, int val) {
  int bel = id % k == 0 ? k : id % k;
  int pl = (id - 1) / k;
  sum -= nd[bel].ans;
  nd[bel].update(pl, val);
  sum += nd[bel].ans;
}
void print() {
  if (cat)
    printf("-1\n");
  else
    printf("%d\n", n - sum);
}
signed main() {
  cin >> n >> k >> q;
  nd.resize(k + 1);
  for (int i = 1; i <= n; i++) a[i] = A[i] = read();
  for (int i = 1; i <= n; i++) a[i] ^= (B[i] = read());
  for (int i = 1; i <= n; i++) s[i] = a[i - 1] ^ a[i];
  for (int i = 1; i <= n; i++) {
    int id = i % k == 0 ? k : i % k;
    b[id].push_back(s[i]);
  }
  for (int i = 1; i <= k; i++) {
    bool se = (n + 1) % k == i % k;
    nd[i].init(b[i], se);
    sum += nd[i].ans;
  }
  print();
  while (q--) {
    char x = rdchar();
    int pl = read(), v = read();
    if (x == 'a')
      v ^= A[pl], A[pl] ^= v;
    else
      v ^= B[pl], B[pl] ^= v;
    a[pl] ^= v;
    update(pl, s[pl] ^ a[pl] ^ a[pl - 1]);
    s[pl] = a[pl] ^ a[pl - 1];
    if (pl != n) {
      update(pl + 1, s[pl + 1] ^ a[pl + 1] ^ a[pl]);
      s[pl + 1] = a[pl + 1] ^ a[pl];
    }
    print();
  }
  return 0;
}