#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);

    int64_t a = 0;

    {
        int64_t j = 0;
        for (int64_t i = 0; i < q; i++)
        {
            if (j < n && a != xs[j])
            {
                ops[i] = 1;
                ps[i] = 1;
                ts[i] = xs[j];

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

        if (j < 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;
}