n, k = map(int,input().split())
ans = []
UPD = 0
AND = 1
XOR = 2
for i in range(n):
    for j in range(i):
        ans.append((AND, n, i, j))
        ans.append((XOR, j, i, j))
        ans.append((XOR, j, j, n))
        ans.append((UPD, i, 0))
        ans.append((XOR, i, i, n))
ans.append((UPD, n, 0))
ans.append((XOR, n, n, k - 1))

print(len(ans))
for p in ans:
    if p[0] == UPD:
        t, i, x = p
        print(f'UPD {i} {x}')
    elif p[0] == AND:
        t, i, j, k = p
        print(f'AND {i} {j} {k}')
    else:
        t, i, j, k = p
        print(f'XOR {i} {j} {k}')