Problem: One day Kefa the parrot was walking down the street as he was on the way home from the restaurant when he saw something glittering by the road. As he came nearer he understood that it was a watch. He decided to take it to the pawnbroker to earn some money. 

The pawnbroker said that each watch contains a serial number represented by a string of digits from 0 to 9, and the more quality checks this number passes, the higher is the value of the watch. The check is defined by three positive integers l, r and d. The watches pass a check if a substring of the serial number from l to r has period d. Sometimes the pawnbroker gets distracted and Kefa changes in some substring of the serial number all digits to c in order to increase profit from the watch. 

The seller has a lot of things to do to begin with and with Kefa messing about, he gave you a task: to write a program that determines the value of the watch.

Let us remind you that number x is called a period of string s (1 ≤ x ≤ |s|), if si = si + x for all i from 1 to |s| - x.

Input

The first line of the input contains three positive integers n, m and k (1 ≤ n ≤ 105, 1 ≤ m + k ≤ 105) — the length of the serial number, the number of change made by Kefa and the number of quality checks.

The second line contains a serial number consisting of n digits.

Then m + k lines follow, containing either checks or changes. 

The changes are given as 1 l r c (1 ≤ l ≤ r ≤ n, 0 ≤ c ≤ 9). That means that Kefa changed all the digits from the l-th to the r-th to be c. 

The checks are given as 2 l r d (1 ≤ l ≤ r ≤ n, 1 ≤ d ≤ r - l + 1).

Output

For each check on a single line print "YES" if the watch passed it, otherwise print "NO".

Examples

Input

3 1 2
112
2 2 3 1
1 1 3 8
2 1 2 1


Output

NO
YES


Input

6 2 3
334934
2 2 5 2
1 4 4 3
2 1 6 3
1 2 3 8
2 3 6 1


Output

NO
YES
NO

Note

In the first sample test two checks will be made. In the first one substring "12" is checked on whether or not it has period 1, so the answer is "NO". In the second one substring "88", is checked on whether or not it has period 1, and it has this period, so the answer is "YES".

In the second statement test three checks will be made. The first check processes substring "3493", which doesn't have period 2. Before the second check the string looks as "334334", so the answer to it is "YES". And finally, the third check processes substring "8334", which does not have period 1.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int gcdex(int a, int b, int &x, int &y) {
  if (a == 0) {
    x = 0;
    y = 1;
    return b;
  }
  int x1, y1;
  int g = gcdex(b % a, a, x1, y1);
  x = y1 - (b / a) * x1;
  y = x1;
  return g;
}
inline int ADD_MOD(int a, int b) { return (a + b) % 1073676287; }
inline int MUL_MOD(int a, int b) { return (int64_t(a) * b) % 1073676287; }
inline int SUB_MOD(int a, int b) { return a >= b ? a - b : a + 1073676287 - b; }
int DIV_MOD(int a, int b) {
  int x, y;
  gcdex(b, 1073676287, x, y);
  int b1 = (x % 1073676287 + 1073676287) % 1073676287;
  return MUL_MOD(a, b1);
}
const double EPS = 1. / 1e9;
inline bool EPS_EQUAL(double a, double b) { return abs(a - b) <= EPS; }
inline bool EPS_LESS(double a, double b) { return b - a > EPS; }
inline bool EPS_GREATER(double a, double b) { return a - b > EPS; }
const int INF = 2e9;
const int MAX = 1e5;
const int P = 17;
uint64_t P_POW[MAX + 2];
template <class TreeVal>
class SegmentTree {
 public:
  vector<TreeVal> t;
  int size;
  SegmentTree(int sz) : t(sz * 4), size(sz) {}
  inline int left(int i) const { return i * 2 + 1; }
  inline int right(int i) const { return i * 2 + 2; }
};
struct Node {
  uint32_t val;
  int childVal = -1;
};
class SumTree : public SegmentTree<Node> {
 public:
  SumTree(int sz) : SegmentTree(sz) {}
  void build(vector<int> &ar) { build(0, 0, size - 1, ar); }
  void build(int ti, int sl, int sr, vector<int> &ar) {
    if (sl == sr) {
      t[ti].val = MUL_MOD(ar[sl], P_POW[sl]);
    } else {
      int m = (sl + sr) / 2;
      int tl = left(ti);
      int tr = right(ti);
      build(tl, sl, m, ar);
      build(tr, m + 1, sr, ar);
      t[ti].val = ADD_MOD(t[tl].val, t[tr].val);
    }
  }
  void update(int l, int r, int val) { update(0, 0, size - 1, l, r, val); }
  void update(int ti, int sl, int sr, int l, int r, int val) {
    if (sl == l && sr == r) {
      t[ti].childVal = val;
      uint32_t p1 = SUB_MOD(P_POW[r - l + 1], 1);
      uint32_t p2 = MUL_MOD(P_POW[l], p1);
      uint32_t p3 = DIV_MOD(p2, P - 1);
      t[ti].val = MUL_MOD(p3, val);
    } else if (l <= r) {
      if (t[ti].childVal >= 0) {
        push(ti, sl, sr);
      }
      int m = (sl + sr) / 2;
      int tl = left(ti);
      int tr = right(ti);
      update(tl, sl, m, l, min(m, r), val);
      update(tr, m + 1, sr, max(m + 1, l), r, val);
      t[ti].val = ADD_MOD(t[tl].val, t[tr].val);
    }
  }
  void push(int ti, int sl, int sr) {
    int childVal = t[ti].childVal;
    t[ti].childVal = -1;
    int m = (sl + sr) / 2;
    update(left(ti), sl, m, sl, m, childVal);
    update(right(ti), m + 1, sr, m + 1, sr, childVal);
  }
  uint32_t query(int l, int r) { return query(0, 0, size - 1, l, r); }
  uint32_t query(int ti, int sl, int sr, int l, int r) {
    if (sl == l && sr == r) {
      return t[ti].val;
    } else if (l <= r) {
      if (t[ti].childVal >= 0) {
        push(ti, sl, sr);
      }
      int m = (sl + sr) / 2;
      int tl = left(ti);
      int tr = right(ti);
      uint32_t v1 = query(tl, sl, m, l, min(r, m));
      uint32_t v2 = query(tr, m + 1, sr, max(m + 1, l), r);
      return ADD_MOD(v1, v2);
    }
    return 0;
  }
};
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(NULL);
  cout.precision(15);
  P_POW[0] = 1;
  for (int i = 1; i <= MAX + 1; ++i) {
    P_POW[i] = MUL_MOD(P, P_POW[i - 1]);
  }
  int n, m, k;
  cin >> n >> m >> k;
  string s;
  cin >> s;
  vector<int> digits(n);
  for (int i = 0; i < n; ++i) {
    digits[i] = s[i] - '0';
  }
  SumTree sum(n);
  sum.build(digits);
  for (int i = 0; i < m + k; ++i) {
    int t, l, r, c;
    cin >> t >> l >> r >> c;
    --l, --r;
    if (t == 1) {
      sum.update(l, r, c);
    } else {
      uint64_t v1 = sum.query(l, r - c);
      uint64_t v2 = sum.query(l + c, r);
      v1 = MUL_MOD(v1, P_POW[c]);
      if (v1 == v2) {
        cout << "YES" << endl;
      } else {
        cout << "NO" << endl;
      }
    }
  }
  return 0;
}