#include #include //小数点出力用 //cout << fixed << setprecision(10) << ans; #include #include #include #include #include #include #include using ll = long long; using namespace std; #define modPHash (ll)((1LL<<61)-1) #define modP (ll)998244353 bool chkrng0idx(int pos, int sup) { return (0 <= pos && pos < sup); } int clk4(int num) { return (num - 2) * (num % 2); } void yn(bool tf) { cout << (tf ? "Yes\n" : "No\n"); } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int N;cin >> N; int Q;cin >> Q; setS; int A[200002]; for (int i = 0;i < N;i++) { cin >> A[i]; S.insert(A[i]); } if (S.size() + N <= Q) { cout << "Yes\n"; for (const auto& elem : S) { cout << "1 " << elem << " " << elem << "\n"; } for (int i = 0;i < N;i++) { cout << 2 << " " << A[i] << "\n"; } for (int i = Q - N - S.size();i >= 1;i--) { cout << "1 5 5 \n"; } } else { cout << "No"; } return 0; }