N,K=map(int,input().split()) print(2*N*(N-1)+1) for i in range(N-1): for j in range(N-1-i): print("AND",N,j,j+1) print("XOR",j+1,j,j+1) print("AND",j,N,N) print("XOR",j,j,j+1) print("AND",N,K-1,K-1)