#include <bits/stdc++.h>
#include <atcoder/all>

using namespace std;
using namespace atcoder;
using ll = long long;
using mint = modint998244353;

#define rep(i, n) for (int i = 0; i < (n); ++i)

int main() {

  int n,q; cin >> n >> q;
  vector<int> a;
  map<int,int> mp;
  int cnt = 1;
  rep (i,n) {
    int num; cin >> num;
    a.push_back(num);
    if (mp.count(num)) continue;
    else mp[num] = cnt;
    cnt++;
  }

  if (mp.size()+n > q){
    cout << "No\n";
    return 0;
  }

  vector<vector<int>> ans;

  cout << "Yes\n";
  for (auto p : mp){
    cnt++;
    ans.push_back({1,p.second,p.first});
  }

  for (auto num : a){
    ans.push_back({2, mp[num]});
  }

  while(ans.size() < q){
    ans.push_back({1,1,1});
  }

  for (auto vec : ans){
    for (auto b : vec){
      cout << b << " ";
    }
    cout << endl;
  }

  return 0;
}