#include <bits/stdc++.h>
using namespace std;
#ifdef local
#include <debug.hpp>
#else
#define debug(...)
#endif
#define rep(i, n) for (int i = 0; i < n; i++)
template <class T> istream& operator>>(istream& I, vector<T>& V) {for (T& X : V) I >> X; return I;}
template <class T> inline bool chmax(T& a, T b) {if (a < b) {a = b; return true;} return false;}
template <class T> inline bool chmin(T& a, T b) {if (a > b) {a = b; return true;} return false;}
vector<int> di = {-1, 1, 0, 0}, dj = {0, 0, -1, 1}; int inf = 1e9; long INF = 1e18;

int main() {
    int n, q;
    cin >> n >> q;
    vector<int> x(n);
    cin >> x;

    set<int> st(x.begin(), x.end());
    if (st.size() + n > q) {
        cout << "No\n";
        return 0;
    } else {
        cout << "Yes\n";
    }

    for (int a : st) {
        cout << 1 << " " << a << " " << a << '\n';
    }
    rep(i, (q - n) - st.size()) {
        cout << 1 << " " << "1 1\n";
    }

    rep(i, n) {
        cout << 2 << " " << x[i] << '\n';
    }
    return 0;
}