#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;
  rep(i,n){
    int num; cin >> num;
    a.push_back(num);
    if (mp.count(num)) continue;
    else mp[num] = i+1;
  }

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

  int cnt = 0;

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

  while(cnt < q-a.size()){
    cnt++;
    cout << 1 << " " << cnt << 100 << "\n";
  }

  for (auto num : a){
    cout << 2 << " " << mp[num] << "\n";
  }

  return 0;
}