Problem: As meticulous Gerald sets the table and caring Alexander sends the postcards, Sergey makes snowmen. Each showman should consist of three snowballs: a big one, a medium one and a small one. Sergey's twins help him: they've already made n snowballs with radii equal to r1, r2, ..., rn. To make a snowman, one needs any three snowballs whose radii are pairwise different. For example, the balls with radii 1, 2 and 3 can be used to make a snowman but 2, 2, 3 or 2, 2, 2 cannot. Help Sergey and his twins to determine what maximum number of snowmen they can make from those snowballs.

Input

The first line contains integer n (1 ≤ n ≤ 105) — the number of snowballs. The next line contains n integers — the balls' radii r1, r2, ..., rn (1 ≤ ri ≤ 109). The balls' radii can coincide.

Output

Print on the first line a single number k — the maximum number of the snowmen. Next k lines should contain the snowmen's descriptions. The description of each snowman should consist of three space-separated numbers — the big ball's radius, the medium ball's radius and the small ball's radius. It is allowed to print the snowmen in any order. If there are several solutions, print any of them.

Examples

Input

7
1 2 3 4 5 6 7


Output

2
3 2 1
6 5 4


Input

3
2 2 3


Output

0

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int dx[] = {0, 0, 1, -1, 1, 1, -1, -1};
int dy[] = {1, -1, 0, 0, 1, -1, 1, -1};
map<int, int> m;
map<int, int> vis;
vector<int> v;
int main() {
  int x, n;
  scanf("%d", &n);
  priority_queue<pair<int, int> > p;
  for (int i = 0; i < n; i++) {
    scanf("%d", &x);
    if (!vis[x]) v.push_back(x);
    vis[x] = 1;
    m[x]++;
  }
  for (int i = 0; i < v.size(); i++) p.push(make_pair(m[v[i]], v[i]));
  vector<vector<int> > res;
  while (p.size() >= 3) {
    vector<int> r(3);
    for (int i = 0; i < 3; i++) {
      r[i] = p.top().second;
      m[r[i]]--;
      p.pop();
    }
    for (int i = 0; i < 3; i++)
      if (m[r[i]] > 0) p.push(make_pair(m[r[i]], r[i]));
    sort(r.rbegin(), r.rend());
    res.push_back(r);
  }
  printf("%d\n", res.size());
  for (int i = 0; i < res.size(); i++) {
    for (int j = 0; j < 3; j++) printf("%d ", res[i][j]);
    puts("");
  }
  return 0;
}