Problem: As you may already know, Dušan is keen on playing with railway models. He has a big map with cities that are connected with railways. His map can be seen as a graph where vertices are cities and the railways connecting them are the edges. So far, the graph corresponding to his map is a tree. As you already know, a tree is a connected acyclic undirected graph.

He is curious to find out whether his railway can be optimized somehow. He wants to add so-called shortcuts, which are also railways connecting pairs of cities. This shortcut will represent the railways in the unique path in the tree between the pair of cities it connects. Since Dušan doesn't like repeating the railways, he has also defined good paths in his newly obtained network (notice that after adding the shortcuts, his graph is no more a tree). He calls a path good, if no edge appears more than once, either as a regular railway edge or as an edge represented by some shortcut (Every shortcut in a good path has length 1, but uses up all the edges it represents - they can't appear again in that path). Having defined good paths, he defines good distance between two cities to be the length of the shortest good path between them. Finally, the shortcutting diameter of his network is the largest good distance between any two cities.

Now he is curious to find out whether it is possible to achieve shortcutting diameter less or equal than k, while adding as few shortcuts as possible.

Your solution should add no more than 10 ⋅ n shortcuts.

Input

The first line in the standard input contains an integer n (1 ≤ n ≤ 10^4), representing the number of the cities in Dušan's railway map, and an integer k (3 ≤ k ≤ n) representing the shortcutting diameter that he wants to achieve.

Each of the following n - 1 lines will contain two integers u_i and v_i (1 ≤ u_i, v_i ≤ n, u_i ≠ v_i), meaning that there is a railway between cities u_i and v_i.

Output

The first line of the output should contain a number t representing the number of the shortcuts that were added.

Each of the following t lines should contain two integers u_i and v_i, signifying that a shortcut is added between cities u_i and v_i.

Example

Input


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


Output


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

Note

Notice that adding a shortcut between all cities and city 1 will make a graph theoretic diameter become 2. On the other hand, the paths obtained that way might not be good, since some of the edges might get duplicated. In the example, adding a shortcut between all cities and city 1 doesn't create a valid solution, because for cities 5 and 10 the path that uses shortcuts 5-1 and 1-10 is not valid because it uses edges 1-2, 2-3, 3-4, 4-5 twice.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int n, k;
int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  cin >> n >> k;
  vector<vector<int>> g(n);
  for (int i = 0; i < n - 1; i++) {
    int a, b;
    cin >> a >> b;
    a--;
    b--;
    g[a].push_back(b);
    g[b].push_back(a);
  }
  vector<int> color(n);
  vector<int> d(n);
  vector<int> sub(n);
  int iter = 0;
  function<void(int, int, int, int)> dfs_to_color = [&](int v, int p, int c,
                                                        int pr) {
    color[v] = c;
    for (int i : g[v]) {
      if (i == p || color[i] != pr) continue;
      dfs_to_color(i, v, c, pr);
    }
  };
  function<void(int, int, int)> dfs_on_color = [&](int v, int p, int c) {
    if (~p)
      d[v] = d[p] ^ 1;
    else
      d[v] = 0;
    sub[v] = 1;
    for (int i : g[v]) {
      if (color[i] != c || i == p) continue;
      dfs_on_color(i, v, c);
      sub[v] += sub[i];
    }
  };
  vector<pair<int, int>> ret;
  function<void(vector<int>)> solve = [&](vector<int> nodes) {
    int sz = nodes.size();
    if (sz <= 4) return;
    int root = nodes[0];
    int c = color[root];
    dfs_on_color(root, -1, c);
    int pr = -1;
    while (true) {
      int nxt = -1;
      for (int i : g[root]) {
        if (color[i] != c || i == pr) continue;
        if (sub[i] > sz / 2) nxt = i;
      }
      if (nxt == -1) break;
      pr = root;
      root = nxt;
    }
    for (int i : g[root]) {
      if (color[i] != c) continue;
      iter++;
      dfs_to_color(i, root, iter, c);
    }
    map<int, vector<int>> to_color;
    for (int i : nodes) {
      if (i == root) continue;
      to_color[color[i]].push_back(i);
    }
    int pos = -1;
    int cd = 0;
    for (auto it : to_color) {
      int id = it.first;
      vector<int> nxt = it.second;
      solve(nxt);
      for (int i : nxt) color[i] = id;
      dfs_on_color(nxt[0], -1, id);
      if ((int)nxt.size() > cd) {
        cd = nxt.size();
        pos = id;
      }
    }
    for (auto it : to_color) {
      int id = it.first;
      vector<int> vertices = it.second;
      vector<int> to_root;
      if (id != pos)
        to_root = vertices;
      else {
        vector<int> cnt(2);
        for (int i : vertices) cnt[d[i]]++;
        int chosen = cnt[1] < cnt[0];
        for (int i : vertices) {
          if (d[i] == chosen) to_root.push_back(i);
        }
      }
      for (int i : to_root) {
        ret.emplace_back(i, root);
      }
    }
  };
  vector<int> foo(n);
  iota(foo.begin(), foo.end(), 0);
  solve(foo);
  assert((int)ret.size() <= 10 * n);
  cout << ret.size() << endl;
  for (auto i : ret) {
    cout << i.first + 1 << " " << i.second + 1 << "\n";
  }
  return 0;
}