Problem: Developer Petr thinks that he invented a perpetual motion machine. Namely, he has a lot of elements, which work in the following way.

Each element has one controller that can be set to any non-negative real value. If a controller is set on some value x, then the controller consumes x2 energy units per second. At the same time, any two elements connected by a wire produce y·z energy units per second, where y and z are the values set on their controllers.

Petr has only a limited number of wires, so he has already built some scheme of elements and wires, and is now interested if it's possible to set the controllers in such a way that the system produces at least as much power as it consumes, and at least one controller is set on the value different from 0. Help him check this, and if it's possible, find the required integer values that should be set.

It is guaranteed that if there exist controllers' settings satisfying the above conditions, then there exist required integer values not greater than 106.

Input

There are several (at least one) test cases in the input. The first line contains single integer — the number of test cases.

There is an empty line before each test case. The first line of test case contains two integers n and m (1 ≤ n ≤ 105, 0 ≤ m ≤ 105) — the number of elements in the scheme and the number of wires.

After that, m lines follow, each of them contains two integers a and b (1 ≤ a, b ≤ n) — two elements connected by a wire. No element is connected with itself, no two elements are connected by more than one wire.

It is guaranteed that the sum of n and the sum of m over all test cases do not exceed 105.

For hacks you can only use tests with one test case.

Output

Print answer for each test case.

For each test case print "YES" if it's possible to set the controllers in such a way that the consumed power is not greater than the power produced, and the required values on the next line. The settings should be integers from 0 to 106, inclusive, and at least one value should be different from 0. If there are multiple answers, print any of them.

If it's not possible to set the controllers in the required way, print one line "NO".

Example

Input

4
 
4 4
1 2
2 3
3 4
4 2
 
3 2
2 3
3 1
 
4 6
1 2
3 4
4 2
1 4
1 3
3 2
 
10 9
2 1
3 2
5 2
6 2
2 7
2 8
2 9
2 10
4 2


Output

YES
1 2 2 1
NO
YES
1 1 1 1
YES
1 5 1 1 1 1 1 1 1 1

Note

In the first example it's possible to set the controllers in the required way, for example, in the following way: set 1 on the first element, set 2 on the second and on the third, set 1 on the fourth. The consumed power is then equal to 12 + 22 + 22 + 12 = 10 energy units per second, the produced power is equal to 1·2 + 2·2 + 2·1 + 2·1 = 10 energy units per second. Thus the answer is "YES".

In the second test case it's not possible to set the controllers in the required way. For example, if we set all controllers to 0.5, then the consumed powers equals 0.75 energy units per second, while produced power equals 0.5 energy units per second.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("O2,unroll-loops")
using namespace std;
const long double eps = 1e-7;
const int inf = 1000000010;
const long long INF = 10000000000000010LL;
const int mod = 1000000007;
const int MAXN = 100010, LOG = 20;
int n, m, k, u, v, x, y, t, a, b;
int comp[MAXN];
int ans[MAXN];
bool mark[MAXN];
vector<int> G[MAXN];
void SIK() {
  cout << "YES\n";
  for (int i = 1; i <= n; i++) cout << ans[i] << " \n"[i == n];
}
bool dfs1(int node, int par) {
  comp[node] = comp[par];
  bool res = 0;
  for (int v : G[node])
    if (v != par) {
      if (comp[v] || dfs1(v, node)) res = 1;
    }
  return res;
}
bool dfs2(int node, int par) {
  ans[node] = 2;
  if (par && G[node].size() == 3) return 1;
  for (int v : G[node])
    if (v != par && dfs2(v, node)) return 1;
  ans[node] = 0;
  return 0;
}
void Solve() {
  cin >> n >> m;
  for (int i = 1; i <= n; i++) G[i].clear(), comp[i] = ans[i] = 0;
  while (m--) {
    cin >> u >> v;
    G[u].push_back(v);
    G[v].push_back(u);
  }
  for (int i = 1; i <= n; i++) {
    if (G[i].size() >= 4) {
      ans[i] = 2;
      for (int j = 0; j < 4; j++) ans[G[i][j]] = 1;
      SIK();
      return;
    }
    if (!comp[i]) {
      comp[0] = i;
      if (dfs1(i, 0)) {
        for (int j = 1; j <= n; j++) ans[j] = (comp[j] == i);
        SIK();
        return;
      }
    }
  }
  for (int i = 1; i <= n; i++)
    if (G[i].size() == 3 && dfs2(i, 0)) {
      for (int j = 1; j <= n; j++)
        if (!ans[j] && comp[j] == comp[i]) ans[j] = 1;
      SIK();
      return;
    }
  for (int i = 1; i <= n; i++)
    if (G[i].size() == 3) {
      vector<int> vec[3];
      for (int j = 0; j < 3; j++) {
        vec[j] = {i, G[i][j]};
        while (G[vec[j].back()].size() == 2)
          vec[j].push_back(G[vec[j].back()][0] ^ G[vec[j].back()][1] ^
                           vec[j][vec[j].size() - 2]);
      }
      if (vec[0].size() > vec[1].size()) vec[0].swap(vec[1]);
      if (vec[0].size() > vec[2].size()) vec[0].swap(vec[2]);
      if (vec[1].size() > vec[2].size()) vec[1].swap(vec[2]);
      if (vec[0].size() >= 3) {
        ans[i] = 3;
        ans[vec[0][1]] = 2;
        ans[vec[0][2]] = 1;
        ans[vec[1][1]] = 2;
        ans[vec[1][2]] = 1;
        ans[vec[2][1]] = 2;
        ans[vec[2][2]] = 1;
        SIK();
        return;
      }
      if (vec[1].size() >= 4) {
        ans[i] = 4;
        ans[vec[0][1]] = 2;
        for (int shit : {1, 2}) {
          ans[vec[shit][1]] = 3;
          ans[vec[shit][2]] = 2;
          ans[vec[shit][3]] = 1;
        }
        SIK();
        return;
      }
      if (vec[1].size() == 3 && vec[2].size() >= 6) {
        ans[vec[0][1]] = 3;
        ans[vec[1][1]] = 4;
        ans[vec[1][2]] = 2;
        for (int j = 0; j < 6; j++) ans[vec[2][j]] = 6 - j;
        SIK();
        return;
      }
    }
  cout << "NO\n";
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  int T;
  cin >> T;
  while (T--) Solve();
  return 0;
}