mod = 1000000007
eps = 10**-9


def main():
    import sys
    input = sys.stdin.readline

    def bsort(i):
        ans.append("XOR {0} {1} {2}".format(N, i, i+1))
        ans.append("AND {0} {1} {2}".format(i, i, i+1))
        ans.append("AND {0} {1} {2}".format(i+1, i, i+1))
        ans.append("XOR {0} {1} {2}".format(i+1, i+1, N))

    N, K = map(int, input().split())
    ans = []
    for i in range(N-1, -1, -1):
        for j in range(i):
            bsort(j)
    ans.append("UPD {0} {1}".format(N, 0))
    ans.append("XOR {0} {1} {2}".format(N, N-K, N))
    print(len(ans))
    for S in ans:
        print(S)


if __name__ == '__main__':
    main()