Problem: A Christmas party in city S. had n children. All children came in mittens. The mittens can be of different colors, but each child had the left and the right mitten of the same color. Let's say that the colors of the mittens are numbered with integers from 1 to m, and the children are numbered from 1 to n. Then the i-th child has both mittens of color ci.

The Party had Santa Claus ('Father Frost' in Russian), his granddaughter Snow Girl, the children danced around the richly decorated Christmas tree. In fact, everything was so bright and diverse that the children wanted to wear mittens of distinct colors. The children decided to swap the mittens so that each of them got one left and one right mitten in the end, and these two mittens were of distinct colors. All mittens are of the same size and fit all the children.

The children started exchanging the mittens haphazardly, but they couldn't reach the situation when each child has a pair of mittens of distinct colors. Vasily Petrov, the dad of one of the children, noted that in the general case the children's idea may turn out impossible. Besides, he is a mathematician and he came up with such scheme of distributing mittens that the number of children that have distinct-colored mittens was maximum. You task is to repeat his discovery. Note that the left and right mittens are different: each child must end up with one left and one right mitten.

Input

The first line contains two integers n and m — the number of the children and the number of possible mitten colors (1 ≤ n ≤ 5000, 1 ≤ m ≤ 100). The second line contains n integers c1, c2, ... cn, where ci is the color of the mittens of the i-th child (1 ≤ ci ≤ m).

Output

In the first line, print the maximum number of children who can end up with a distinct-colored pair of mittens. In the next n lines print the way the mittens can be distributed in this case. On the i-th of these lines print two space-separated integers: the color of the left and the color of the right mitten the i-th child will get. If there are multiple solutions, you can print any of them.

Examples

Input

6 3
1 3 2 2 1 1


Output

6
2 1
1 2
2 1
1 3
1 2
3 1


Input

4 2
1 2 1 1


Output

2
1 2
1 1
2 1
1 1

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const int maxN = 205, maxE = 102 * 100 * 2;
const int oo = 1e9;
int src = maxN - 1, snk = maxN - 2, cap[maxE];
int head[maxN], headcpy[maxN], nxt[maxE], to[maxE], edgeCnt;
void init() {
  memset(head, -1, sizeof head);
  edgeCnt = 0;
}
void addedge(int u, int v, int c) {
  nxt[edgeCnt] = head[u];
  head[u] = edgeCnt;
  cap[edgeCnt] = c;
  to[edgeCnt++] = v;
}
void addbiedge(int u, int v, int c) {
  addedge(u, v, c);
  addedge(v, u, 0);
}
int Rank[maxN];
int ddfs(int cur = src, int flow = oo) {
  if (cur == snk) return flow;
  for (int &i = headcpy[cur]; i != -1; i = nxt[i]) {
    int t = to[i];
    if (!cap[i] || Rank[t] != Rank[cur] + 1) continue;
    int f = ddfs(t, min(flow, cap[i]));
    cap[i] -= f;
    cap[i ^ 1] += f;
    if (f) return f;
  }
  return 0;
}
int Q[maxN];
bool dbfs() {
  memset(Rank, -1, sizeof Rank);
  int Qi = 0;
  Q[Qi++] = src;
  Rank[src] = 0;
  for (int i = 0; i < Qi; ++i) {
    int cur = Q[i];
    int r = Rank[cur];
    for (int j = head[cur]; j != -1; j = nxt[j]) {
      int t = to[j];
      if (!cap[j] || Rank[t] != -1) continue;
      Rank[t] = r + 1;
      Q[Qi++] = t;
      if (t == snk) return 1;
    }
  }
  return 0;
}
int dinic() {
  int ret = 0, f;
  while (dbfs()) {
    memcpy(headcpy, head, sizeof head);
    while (f = ddfs()) {
      ret += f;
    }
  }
  return ret;
}
int n, m, cnt[102];
int main() {
  init();
  scanf("%d", &n), scanf("%d", &m);
  for (int i = 0; i < n; ++i) {
    int v;
    scanf("%d", &v);
    ++cnt[v];
  }
  for (int i = 1; i <= m; i++) {
    addbiedge(src, i, cnt[i]);
    addbiedge(m + i, snk, cnt[i]);
    for (int j = 1; j <= m; j++) {
      if (i == j) continue;
      addbiedge(i, j + m, oo);
    }
  }
  printf("%d\n", dinic());
  for (int i = 1; i <= m; i++) {
    for (int j = head[i]; ~j; j = nxt[j]) {
      if (to[j] == src) continue;
      for (int z = 0; z < cap[j ^ 1]; ++z) {
        printf("%d %d\n", i, to[j] - m);
      }
    }
  }
  for (int j = head[src]; ~j; j = nxt[j]) {
    for (int z = 0; z < cap[j]; ++z) printf("%d %d\n", to[j], to[j]);
  }
}