#include <bits/stdc++.h>
using namespace std;

struct iofast_t {
    iofast_t() {
        ios::sync_with_stdio(false);
        cin.tie(nullptr);
    }
} iofast;

struct uns_t {} uns;
template <typename Element, typename Head, typename ...Args>
auto vec(Element init, Head arg, Args ...args) {
    if constexpr (sizeof...(Args) == 0) return std::vector(arg, init);
    else return std::vector(arg, vec(init, args...));
}
template <typename Element, typename Head, typename ...Args>
auto vec(uns_t, Head arg, Args ...args) {
    return vec(Element(), arg, args...);
}

template <typename T, typename Compare = less<T>>
T &chmin(T &l, T r, Compare &&f = less<T>()) { return l = min(l, r, f); }
template <typename T, typename Compare = less<T>>
T &chmax(T &l, T r, Compare &&f = less<T>()) { return l = max(l, r, f); }

int main() {
    int n, k; cin >> n >> k;

    auto cupd = [](int i, bool x) {
        cout << "UPD " << i << " " << x << endl;
    };

    auto cand = [](int i, int j, int k) {
        cout << "AND " << i << " " << j << " " << k << endl;
    };

    auto cxor = [](int i, int j, int k) {
        cout << "XOR " << i << " " << j << " " << k << endl;
    };

    cout << (n * (n - 1) * 4 + k + 1) << endl;

    for (int i = 0; i < n; ++i) {
        for (int j = n - 2; 0 <= j; --j) {
            cand(n, j, j + 1);
            cxor(j, j, j + 1);
            cand(j + 1, j + 1, n);
            cxor(j, j, n);
        }
    }

    cupd(n, 1);
    for (int i = 0; i < k; ++i) {
        cand(n, i, n);
    }
}