Problem: The new pedestrian zone in Moscow city center consists of n squares connected with each other by n - 1 footpaths. We define a simple path as a sequence of squares such that no square appears in this sequence twice and any two adjacent squares in this sequence are directly connected with a footpath. The size of a simple path is the number of squares in it. The footpaths are designed in a such a way that there is exactly one simple path between any pair of different squares.

During preparations for Moscow City Day the city council decided to renew ground tiles on all n squares. There are k tile types of different colors, numbered from 1 to k. For each square exactly one tile type must be selected and then used to cover this square surface. To make walking through the city center more fascinating, it was decided to select tiles types for each square in such a way that any possible simple path of size exactly k contains squares with all k possible tile colors.

You need to find out whether it is possible to place the tiles this way or not.

Input

The first line contains two integers n, k (2 ≤ k ≤ n ≤ 200 000) — the number of squares in the new pedestrian zone, the number of different tile colors.

Each of the following n - 1 lines contains two integers v_i and u_i (1 ≤ v_i, u_i ≤ n) — numbers of the squares connected by the corresponding road.

It's guaranteed, that it's possible to go from any square to any other square, moreover there is exactly one such simple path.

Output

Print "Yes" if it is possible to assign tile colors this way and "No" otherwise.

In case your answer is "Yes", print n integers from 1 to k each, the color of the tile for every square.

Examples

Input


7 4
1 3
2 3
3 4
4 5
5 6
5 7


Output


Yes
1 1 2 3 4 1 1


Input


7 3
1 3
2 3
3 4
4 5
5 6
5 7


Output


No

Note

The following pictures illustrate the pedestrian zone in first and second examples. The second picture also shows one possible distribution of colors among the squares for k = 4.

<image>

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
#pragma GCC optimize("Ofast", "unroll-loops")
using namespace std;
mt19937 rnd(chrono::steady_clock::now().time_since_epoch().count());
default_random_engine generator;
const int MAXN = 200200;
int n, k;
vector<int> g[MAXN];
int dist[2][MAXN];
pair<int, int> dfs(int v, int p = -1) {
  pair<int, int> res = {-1, v};
  for (int u : g[v]) {
    if (u == p) {
      continue;
    }
    res = max(res, dfs(u, v));
  }
  ++res.first;
  return res;
}
void dfs1(int v, int k, int d, int p = -1) {
  dist[k][v] = d;
  for (int u : g[v]) {
    if (u == p) {
      continue;
    }
    dfs1(u, k, d + 1, v);
  }
}
int main() {
  ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> k;
  for (int i = 0; i < n - 1; ++i) {
    int u, v;
    cin >> u >> v;
    --u;
    --v;
    g[u].push_back(v);
    g[v].push_back(u);
  }
  pair<int, int> p = dfs(0);
  int u = p.second;
  p = dfs(u);
  int v = p.second;
  int len = p.first;
  dfs1(u, 0, 0);
  dfs1(v, 1, 0);
  vector<int> col(n);
  for (int i = 0; i < n; ++i) {
    int d = (dist[0][i] + dist[1][i] - len) / 2;
    int a = dist[0][i] - d;
    int b = dist[1][i] - d;
    if (d == 0) {
      col[i] = dist[0][i] % k;
      continue;
    }
    if (a + d >= k - 1 && b + d >= k - 1 && d <= k - 2) {
      cout << "No" << endl;
      return 0;
    }
    if (a >= b) {
      col[i] = (a - (k - d)) % k;
      if (col[i] < 0) {
        col[i] += k;
      }
    } else {
      col[i] = (a + (k - d)) % k;
      if (col[i] < 0) {
        col[i] += k;
      }
    }
  }
  cout << "Yes" << endl;
  for (int c : col) {
    cout << c + 1 << " ";
  }
  cout << endl;
}