Problem: Ksenia has an array a consisting of n positive integers a_1, a_2, …, a_n. 

In one operation she can do the following: 

  * choose three distinct indices i, j, k, and then 
  * change all of a_i, a_j, a_k to a_i ⊕ a_j ⊕ a_k simultaneously, where ⊕ denotes the [bitwise XOR operation](https://en.wikipedia.org/wiki/Bitwise_operation#XOR). 



She wants to make all a_i equal in at most n operations, or to determine that it is impossible to do so. She wouldn't ask for your help, but please, help her!

Input

The first line contains one integer n (3 ≤ n ≤ 10^5) — the length of a.

The second line contains n integers, a_1, a_2, …, a_n (1 ≤ a_i ≤ 10^9) — elements of a.

Output

Print YES or NO in the first line depending on whether it is possible to make all elements equal in at most n operations.

If it is possible, print an integer m (0 ≤ m ≤ n), which denotes the number of operations you do.

In each of the next m lines, print three distinct integers i, j, k, representing one operation. 

If there are many such operation sequences possible, print any. Note that you do not have to minimize the number of operations.

Examples

Input


5
4 2 1 7 2


Output


YES
1
1 3 4

Input


4
10 4 49 22


Output


NO

Note

In the first example, the array becomes [4 ⊕ 1 ⊕ 7, 2, 4 ⊕ 1 ⊕ 7, 4 ⊕ 1 ⊕ 7, 2] = [2, 2, 2, 2, 2].

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
istream& inp = cin;
template <typename T>
vector<T> readV(int size) {
  vector<T> result;
  for (int i = 0; i < size; ++i) {
    T x;
    inp >> x;
    result.push_back(x);
  }
  return result;
}
template <typename T>
T divup(T a, T b) {
  if ((a % b) == 0) return a / b;
  return 1 + a / b;
}
int64_t constexpr M = 1000000007;
static_assert(M <= (1 << 30));
class modint {
  int64_t v;

 public:
  modint(int64_t x) : v(x % M) {}
  int64_t get() const { return v; }
  modint operator+(modint b) { return modint(v + b.v); }
  modint operator*(modint b) { return modint(v * b.v); }
  modint operator-(modint b) { return modint(v + M - b.v); }
};
int main() {
  assert(inp);
  int n;
  inp >> n;
  auto a = readV<int>(n);
  if ((n % 2) == 0) {
    int z = 0;
    for (int x : a) z = z ^ x;
    if (z != 0) {
      cout << "NO" << endl;
      return 0;
    }
    --n;
  }
  vector<vector<int>> ops;
  auto op = [&a, &ops](int i, int j, int k) {
    vector<int> o{i + 1, j + 1, k + 1};
    ops.push_back(o);
    int z = a.at(i) ^ a.at(j) ^ a.at(k);
    a.at(i) = a.at(j) = a.at(k) = z;
  };
  cout << "YES\n";
  for (int s = 0; s + 2 < n; s += 2) {
    op(s, s + 1, s + 2);
  }
  for (int s = 0; s + 2 < n; s += 2) {
    op(s, s + 1, n - 1);
  }
  for (int x : a) assert(a.at(0) == x);
  cout << ops.size() << endl;
  for (auto& v : ops) {
    for (int x : v) cout << x << " ";
    cout << endl;
  }
  return 0;
}