1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
#include <bits/stdc++.h>

using namespace std;

#define rep(i, a, b) for (int i = a; i < (b); ++i)
#define all(x) begin(x), end(x)
#define sz(x) (int)(x).size()
#define st first
#define nd second
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
typedef vector<int> vi;
typedef vector<ll> vl;

#ifdef LOCAL
#define DTP(x, y)                                    \
    auto operator<<(auto &o, auto a)->decltype(y, o) \
    {                                                \
        o << "(";                                    \
        x;                                           \
        return o << ")";                             \
    }
DTP(o << a.first << ", " << a.second, a.second);
DTP(for (auto i : a) o << i << ", ", all(a));
void dump(auto... x) { ((cerr << x << ", "), ...) << '\n'; }
#define debug(x...) cerr << setw(4) << __LINE__ << ":[" #x "]: ", dump(x)
#else
#define debug(...) 42
#endif

void solve()
{
    int n, s;
    cin >> n >> s;
    int last = n;
    vi B(n, 0), V(n, 0);
    while (s--)
    {
        int x;
        cin >> x;
        last = min(last, x);
        B[x - 1] = 1;
    }
    vector<pair<pii, int>> ANS;
    for (int i = 1; i * last <= n; i++)
        V[i * last - 1] = 1;
    ANS.push_back({{3, last}, -1});
    ANS.push_back({{3, n + 1}, -1});
    for (int i = last + 1; i <= n; i++)
    {
        if (B[i - 1] == V[i - 1])
            continue;
        if (B[i - 1] == 1)
        {
            ANS.push_back({{1, n + ANS.size()}, i});
            for (int j = 1; j * i <= n; j++)
                V[i * j - 1] = 1;
        }
        else
        {
            ANS.push_back({{3, i}, -1});
            ANS.push_back({{2, ANS.size() + n - 1}, ANS.size() + n});
            for (int j = 1; j * i <= n; j++)
                V[i * j - 1] = 0;
        }
    }
    cout << ANS.size() << endl;
    for (auto &[a, b] : ANS)
    {
        cout << a.first << ' ' << a.second;
        if (a.first < 3)
            cout << ' ' << b;
        cout << endl;
    }
}

main()
{
    cin.tie(0)->sync_with_stdio(0);
    cin.exceptions(cin.failbit);

    int Z = 1;
    // cin >> Z;
    while (Z--)
        solve();
}