n, m = map(int, input().split())
X = input()
ans = []

def mod(x, i):
    ans.append((1, x, i))
    
def nand(x, i, j):
    ans.append((2, x, i, j))

# B_i <- B_i ^ B_j
def xor(i, j):
    nand(i, i, 10000)
    nand(j, j, 10000)
    nand(i, i, j)
    nand(j, j, 10000)

# B_10000 = 1....1
nand(10000, 10000, 10000)

# B_1000 = 1
nand(1000, 1000, 10000)
mod(1000, 1000)
nand(1000, 1000, 10000)

# B_{1000 + i} = 1 << i
for i in range(1, m):
    nand(1000 + i, 999 + i, 10000)
    nand(1000 + i, 1000 + i, 10000)
    mod(1000 + i, 1000 + i)

X = X[::-1]
for i, x in enumerate(X):
    if x == "1":
        xor(0, 1000 + i)

print(len(ans))
for row in ans:
    print(*row)