Problem: It's time polar bears Menshykov and Uslada from the zoo of St. Petersburg and elephant Horace from the zoo of Kiev got down to business. In total, there are n tasks for the day and each animal should do each of these tasks. For each task, they have evaluated its difficulty. Also animals decided to do the tasks in order of their difficulty. Unfortunately, some tasks can have the same difficulty, so the order in which one can perform the tasks may vary.

Menshykov, Uslada and Horace ask you to deal with this nuisance and come up with individual plans for each of them. The plan is a sequence describing the order in which an animal should do all the n tasks. Besides, each of them wants to have its own unique plan. Therefore three plans must form three different sequences. You are to find the required plans, or otherwise deliver the sad news to them by stating that it is impossible to come up with three distinct plans for the given tasks.

Input

The first line contains integer n (1 ≤ n ≤ 2000) — the number of tasks. The second line contains n integers h1, h2, ..., hn (1 ≤ hi ≤ 2000), where hi is the difficulty of the i-th task. The larger number hi is, the more difficult the i-th task is.

Output

In the first line print "YES" (without the quotes), if it is possible to come up with three distinct plans of doing the tasks. Otherwise print in the first line "NO" (without the quotes). If three desired plans do exist, print in the second line n distinct integers that represent the numbers of the tasks in the order they are done according to the first plan. In the third and fourth line print two remaining plans in the same form.

If there are multiple possible answers, you can print any of them.

Examples

Input

4
1 3 3 1


Output

YES
1 4 2 3 
4 1 2 3 
4 1 3 2 


Input

5
2 4 1 4 8


Output

NO

Note

In the first sample the difficulty of the tasks sets one limit: tasks 1 and 4 must be done before tasks 2 and 3. That gives the total of four possible sequences of doing tasks : [1, 4, 2, 3], [4, 1, 2, 3], [1, 4, 3, 2], [4, 1, 3, 2]. You can print any three of them in the answer.

In the second sample there are only two sequences of tasks that meet the conditions — [3, 1, 2, 4, 5] and [3, 1, 4, 2, 5]. Consequently, it is impossible to make three distinct sequences of tasks.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int n, has[3000] = {0}, js[3000];
vector<int> vt[3000];
vector<int> ans;
int main(int argc, const char* argv[]) {
  scanf("%d", &n);
  for (int i = 1; i < (n + 1); i++) {
    int x;
    scanf("%d", &x);
    vt[x].push_back(i);
    has[x]++;
  }
  int tot = 1;
  bool flag = false;
  for (int i = 1; i < (2000 + 1); i++)
    if (has[i] > 0) {
      tot *= has[i];
      if (tot >= 3) {
        flag = true;
        break;
      }
    }
  if (!flag)
    printf("NO\n");
  else {
    printf("YES\n");
    int cnt = 0;
    bool fl = false;
    for (int i = 1; i < (2000 + 1); i++)
      if (vt[i].size() >= 3) {
        fl = true;
        for (int j = 1; j < (vt[i].size() + 1); j++) js[j] = j;
        do {
          ans.clear();
          cnt++;
          if (cnt > 3) break;
          for (int j = 1; j < (i - 1 + 1); j++)
            if (vt[j].size())
              for (int k = 0; k < (vt[j].size() - 1 + 1); k++)
                ans.push_back(vt[j][k]);
          for (int j = 1; j < (vt[i].size() + 1); j++)
            ans.push_back(vt[i][js[j] - 1]);
          for (int j = i + 1; j < (2000 + 1); j++)
            if (vt[j].size())
              for (int k = 0; k < (vt[j].size() - 1 + 1); k++)
                ans.push_back(vt[j][k]);
          for (int j = 0; j < (ans.size() - 1 + 1); j++)
            if (j == ans.size() - 1)
              printf("%d\n", ans[j]);
            else
              printf("%d ", ans[j]);
        } while (next_permutation(js + 1, js + 1 + vt[i].size()));
        if (cnt > 3) break;
      }
    if (!fl) {
      int x1 = 0, x2 = 0;
      for (int i = 1; i < (2000 + 1); i++)
        if (vt[i].size() == 2) {
          if (x1 == 0)
            x1 = i;
          else if (x2 == 0)
            x2 = i;
          else
            break;
        }
      ans.clear();
      for (int i = 1; i < (2000 + 1); i++)
        if (vt[i].size()) {
          for (int j = 0; j < (vt[i].size() - 1 + 1); j++)
            ans.push_back(vt[i][j]);
        }
      for (int i = 0; i < (ans.size() - 1 + 1); i++)
        if (i == ans.size() - 1)
          printf("%d\n", ans[i]);
        else
          printf("%d ", ans[i]);
      ans.clear();
      for (int i = 1; i < (2000 + 1); i++)
        if (vt[i].size()) {
          if (i == x1) {
            ans.push_back(vt[i][1]);
            ans.push_back(vt[i][0]);
          } else
            for (int j = 0; j < (vt[i].size() - 1 + 1); j++)
              ans.push_back(vt[i][j]);
        }
      for (int i = 0; i < (ans.size() - 1 + 1); i++)
        if (i == ans.size() - 1)
          printf("%d\n", ans[i]);
        else
          printf("%d ", ans[i]);
      ans.clear();
      for (int i = 1; i < (2000 + 1); i++)
        if (vt[i].size()) {
          if (i == x2) {
            ans.push_back(vt[i][1]);
            ans.push_back(vt[i][0]);
          } else
            for (int j = 0; j < (vt[i].size() - 1 + 1); j++)
              ans.push_back(vt[i][j]);
        }
      for (int i = 0; i < (ans.size() - 1 + 1); i++)
        if (i == ans.size() - 1)
          printf("%d\n", ans[i]);
        else
          printf("%d ", ans[i]);
      ans.clear();
    }
  }
  return 0;
}