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

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

    printf("%d\n", n * (n - 1) / 2 * 5 + 2);
    for (int i = 1; i < n; i++) {
        for (int j = 0; j < n - i; j++) {
            printf("AND %d %d %d\n", n, j, j + 1);
            printf("XOR %d %d %d\n", j, j, j + 1);
            printf("XOR %d %d %d\n", j, j, n);
            printf("UPD %d 1\n", j + 1);
            printf("AND %d %d %d\n", j + 1, j + 1, n);
        }
    }
    printf("UPD %d 1\n", n);
    printf("AND %d %d %d\n", n, n, k - 1);

    return 0;
}