#include <stdio.h>
#include <atcoder/all>
#include <bits/stdc++.h>
using namespace std;
using namespace atcoder;
using mint = modint998244353;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf32 1000000001
#define Inf64 4000000000000000001LL

int main(){
	
	int N,Q;
	cin>>N>>Q;
	
	vector<int> x(N);
	rep(i,N)cin>>x[i];
	set<int> S;
	vector<int> t,p,y;
	rep(i,N){
		if(!S.count(x[i])){
			t.push_back(1);
			p.push_back(x[i]);
			y.push_back(x[i]);
			S.insert(x[i]);
			
		}
		t.push_back(2);
			y.push_back(x[i]);
			p.push_back(0);
			
		
	}
	if(p.size() > Q){
		cout<<"No"<<endl;
		return 0;
	}
	cout<<"Yes"<<endl;
	while(Q!=p.size()){
		p.push_back(1);
		y.push_back(1);
		t.push_back(2);
	}
	rep(i,Q){
		if(t[i]==1)cout<<t[i]<<' '<<p[i]<<' '<<y[i]<<endl;
		else cout<<t[i]<<' '<<y[i]<<endl;
	}
	
	return 0;
}