#include <bits/stdc++.h>
using namespace std;
using namespace chrono;
#if __has_include(<atcoder/all>)
#include <atcoder/all>
using namespace atcoder;
#endif

int main()
{
    int64_t n, q;
    cin >> n >> q;
    vector<int64_t> xs(n);
    for (auto &&x : xs)
    {
        cin >> x;
    }

    vector<int64_t> ops(q), ps(q), ts(q);

    set<int64_t> st;

    int64_t k = 0;
    for (int64_t i = 0; i < q; i++)
    {
        if (k < n && st.contains(xs[k]))
        {
            ops[i] = 2;
            ps[i] = xs[k];

            k++;
        }
        else if (k < n)
        {
            ops[i] = 1;
            ps[i] = xs[k];
            ts[i] = xs[k];

            st.insert(xs[k]);
        }
        else
        {
            ops[i] = 1;
            ps[i] = 1;
            ts[i] = 1;
        }
    }

    if (k < n)
    {
        cout << "No" << endl;
        return 0;
    }

    cout << "Yes" << endl;
    for (int64_t i = 0; i < q; i++)
    {
        cout << ops[i] << ' ' << ps[i] << ' ';
        if (ops[i] == 1)
        {
            cout << ts[i];
        }
        cout << endl;
    }

    return 0;
}