Problem: Zane once had a good sequence a consisting of n integers a1, a2, ..., an — but he has lost it.

A sequence is said to be good if and only if all of its integers are non-negative and do not exceed 109 in value.

<image>

However, Zane remembers having played around with his sequence by applying m operations to it.

There are two types of operations:

1. Find the maximum value of integers with indices i such that l ≤ i ≤ r, given l and r.

2. Assign d as the value of the integer with index k, given k and d.

After he finished playing, he restored his sequence to the state it was before any operations were applied. That is, sequence a was no longer affected by the applied type 2 operations. Then, he lost his sequence at some time between now and then.

Fortunately, Zane remembers all the operations and the order he applied them to his sequence, along with the distinct results of all type 1 operations. Moreover, among all good sequences that would produce the same results when the same operations are applied in the same order, he knows that his sequence a has the greatest cuteness.

We define cuteness of a sequence as the bitwise OR result of all integers in such sequence. For example, the cuteness of Zane's sequence a is a1 OR a2 OR ... OR an.

Zane understands that it might not be possible to recover exactly the lost sequence given his information, so he would be happy to get any good sequence b consisting of n integers b1, b2, ..., bn that:

1. would give the same results when the same operations are applied in the same order, and

2. has the same cuteness as that of Zane's original sequence a.

If there is such a sequence, find it. Otherwise, it means that Zane must have remembered something incorrectly, which is possible.

Input

The first line contains two integers n and m (1 ≤ n, m ≤ 3·105) — the number of integers in Zane's original sequence and the number of operations that have been applied to the sequence, respectively.

The i-th of the following m lines starts with one integer ti (<image>) — the type of the i-th operation.

If the operation is type 1 (ti = 1), then three integers li, ri, and xi follow (1 ≤ li ≤ ri ≤ n, 0 ≤ xi ≤ 109) — the leftmost index to be considered, the rightmost index to be considered, and the maximum value of all integers with indices between li and ri, inclusive, respectively.

If the operation is type 2 (ti = 2), then two integers ki and di follow (1 ≤ ki ≤ n, 0 ≤ di ≤ 109) — meaning that the integer with index ki should become di after this operation.

It is guaranteed that xi ≠ xj for all pairs (i, j) where 1 ≤ i < j ≤ m and ti = tj = 1.

The operations are given in the same order they were applied. That is, the operation that is given first was applied first, the operation that is given second was applied second, and so on.

Output

If there does not exist a valid good sequence, print "NO" (without quotation marks) in the first line.

Otherwise, print "YES" (without quotation marks) in the first line, and print n space-separated integers b1, b2, ..., bn (0 ≤ bi ≤ 109) in the second line.

If there are multiple answers, print any of them.

Examples

Input

5 4
1 1 5 19
1 2 5 1
2 5 100
1 1 5 100


Output

YES
19 0 0 0 1


Input

5 2
1 1 5 0
1 1 5 100


Output

NO

Note

In the first sample, it is easy to verify that this good sequence is valid. In particular, its cuteness is 19 OR 0 OR 0 OR 0 OR 1 =  19.

In the second sample, the two operations clearly contradict, so there is no such good sequence.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("O3")
using namespace std;
inline long long getint() {
  long long _x = 0, _tmp = 1;
  char _tc = getchar();
  while ((_tc < '0' || _tc > '9') && _tc != '-') _tc = getchar();
  if (_tc == '-') _tc = getchar(), _tmp = -1;
  while (_tc >= '0' && _tc <= '9') _x *= 10, _x += (_tc - '0'), _tc = getchar();
  return _x * _tmp;
}
inline long long add(long long _x, long long _y,
                     long long _mod = 1000000007LL) {
  _x += _y;
  return _x >= _mod ? _x - _mod : _x;
}
inline long long sub(long long _x, long long _y,
                     long long _mod = 1000000007LL) {
  _x -= _y;
  return _x < 0 ? _x + _mod : _x;
}
inline long long mul(long long _x, long long _y,
                     long long _mod = 1000000007LL) {
  _x *= _y;
  return _x >= _mod ? _x % _mod : _x;
}
long long mypow(long long _a, long long _x, long long _mod) {
  if (_x == 0) return 1LL;
  long long _ret = mypow(mul(_a, _a, _mod), _x >> 1, _mod);
  if (_x & 1) _ret = mul(_ret, _a, _mod);
  return _ret;
}
long long mymul(long long _a, long long _x, long long _mod) {
  if (_x == 0) return 0LL;
  long long _ret = mymul(add(_a, _a, _mod), _x >> 1, _mod);
  if (_x & 1) _ret = add(_ret, _a, _mod);
  return _ret;
}
inline bool equal(double _x, double _y) {
  return _x > _y - 1e-9 && _x < _y + 1e-9;
}
int __ = 1, _cs;
const int inf = 1000000000;
int st[303030 << 2], tg[303030 << 2];
void build_st(int no, int l, int r) {
  st[no] = tg[no] = inf + 1;
  if (l == r) return;
  build_st((no << 1), l, ((l + r) >> 1));
  build_st((1 + (no << 1)), ((l + r) >> 1) + 1, r);
}
void push(int no, int l, int r) {
  if (tg[no] == inf + 1) return;
  st[(no << 1)] = min(st[(no << 1)], tg[no]);
  st[(1 + (no << 1))] = min(st[(1 + (no << 1))], tg[no]);
  tg[(no << 1)] = min(tg[(no << 1)], tg[no]);
  tg[(1 + (no << 1))] = min(tg[(1 + (no << 1))], tg[no]);
  tg[no] = inf + 1;
}
void modify(int no, int l, int r, int ql, int qr, int qv) {
  if (r < ql or l > qr) return;
  if (ql <= l and r <= qr) {
    st[no] = min(st[no], qv);
    tg[no] = min(tg[no], qv);
    return;
  }
  push(no, l, r);
  modify((no << 1), l, ((l + r) >> 1), ql, qr, qv);
  modify((1 + (no << 1)), ((l + r) >> 1) + 1, r, ql, qr, qv);
  st[no] = max(st[(no << 1)], st[(1 + (no << 1))]);
}
int query(int no, int l, int r, int ql, int qr) {
  if (r < ql or l > qr) return 0;
  if (ql <= l and r <= qr) return st[no];
  push(no, l, r);
  return max(query((no << 1), l, ((l + r) >> 1), ql, qr),
             query((1 + (no << 1)), ((l + r) >> 1) + 1, r, ql, qr));
}
int st2[303030 << 2];
void modify2(int no, int l, int r, int p, int v) {
  if (l == r) {
    st2[no] = v;
    return;
  }
  if (p <= ((l + r) >> 1))
    modify2((no << 1), l, ((l + r) >> 1), p, v);
  else
    modify2((1 + (no << 1)), ((l + r) >> 1) + 1, r, p, v);
  st2[no] = max(st2[(no << 1)], st2[(1 + (no << 1))]);
}
int query2(int no, int l, int r, int ql, int qr) {
  if (r < ql or l > qr) return 0;
  if (ql <= l and r <= qr) return st2[no];
  return max(query2((no << 1), l, ((l + r) >> 1), ql, qr),
             query2((1 + (no << 1)), ((l + r) >> 1) + 1, r, ql, qr));
}
void build() {}
int n, m;
void init() {
  n = getint();
  m = getint();
}
bool fix[303030];
int a[303030];
void no() {
  puts("NO");
  exit(0);
}
bool ff[303030];
void solve() {
  set<int> nd;
  build_st(1, 1, n);
  while (m--) {
    int ti = getint();
    if (ti == 1) {
      int li = getint();
      int ri = getint();
      int xi = getint();
      int vl1 = query(1, 1, n, li, ri);
      int vl2 = query2(1, 1, n, li, ri);
      if (vl2 > xi) no();
      if (vl1 < xi and vl2 < xi) no();
      modify(1, 1, n, li, ri, xi);
      if (vl2 < xi) nd.insert(xi);
    } else {
      int ki = getint();
      int di = getint();
      if (not fix[ki]) a[ki] = query(1, 1, n, ki, ki);
      fix[ki] = true;
      modify2(1, 1, n, ki, di);
    }
  }
  for (int i = 1; i <= n; i++)
    if (not fix[i]) a[i] = query(1, 1, n, i, i);
  int tans = 0;
  for (int i = 1; i <= n; i++)
    if (nd.count(a[i])) {
      nd.erase(a[i]);
      ff[i] = true;
      tans |= a[i];
    }
  if (nd.size()) no();
  vector<pair<int, int> > v;
  for (int i = 1; i <= n; i++) {
    if (ff[i]) continue;
    a[i] = min(a[i], inf);
    v.push_back({a[i], i});
  }
  sort(v.begin(), v.end());
  reverse(v.begin(), v.end());
  for (auto _ : v) {
    int i = _.second;
    int cc = 0;
    for (int b = 29; b >= 0; b--)
      if (((tans >> b) & 1) == 0 and (cc | (1 << b)) <= a[i]) cc |= (1 << b);
    a[i] = cc;
    tans |= cc;
  }
  cerr << tans << endl;
  puts("YES");
  for (int i = 1; i <= n; i++) printf("%d%c", a[i], " \n"[i == n]);
}
int main() {
  build();
  while (__--) {
    init();
    solve();
  }
}