// #include <bits/allocator.h> // Temp fix for gcc13 global pragma
// #pragma GCC target("avx2,bmi2,popcnt,lzcnt")
// #pragma GCC optimize("O3,unroll-loops")
#include <bits/stdc++.h>
// #include <x86intrin.h>
using namespace std;
#if __cplusplus >= 202002L
using namespace numbers;
#endif
#ifdef LOCAL
	#include "Debug.h"
#else
	#define debug_endl() 42
	#define debug(...) 42
	#define debug2(...) 42
	#define debug_bin(...) 42
#endif



int main(){
	cin.tie(0)->sync_with_stdio(0);
	cin.exceptions(ios::badbit | ios::failbit);
	int n, qn;
	cin >> n >> qn;
	int index = 0;
	map<int, int> value;
	vector<array<int, 3>> q;
	for(auto i = 0; i < n; ++ i){
		int x;
		cin >> x;
		if(!value.contains(x)){
			value[x] = index ++;
			q.push_back({1, index, x});
		}
		q.push_back({2, value[x] + 1});
	}
	while((int)q.size() < qn){
		q.push_back({1, index + 1, 1});
	}
	if((int)q.size() > qn){
		cout << "No\n";
	}
	else{
		cout << "Yes\n";
		for(auto [type, p, x]: q){
			if(type == 1){
				cout << type << " " << p << " " << x << "\n";
			}
			else{
				cout << type << " " << p << "\n";
			}
		}
	}
	return 0;
}

/*

*/