from collections import defaultdict


N, M = map(int, input().split())
X = int(input(), 2)
As = [int(input(), 2) for _ in range(N)]

TMP1 = 10 ** 7
TMP2 = 10 ** 7 + 1

d = defaultdict(int)
for i, A in enumerate(As, start=1):
    d[i] = A

B = 1 << M

queries = []


def shift(x, i):
    queries.append((1, x, i))
    d[x] = (d[i] << 1) % B


def nand(x, i, j):
    queries.append((2, x, i, j))
    d[x] = (~(d[i] & d[j])) % B


def or_(x, i, j):
    nand(TMP1, i, i)
    nand(TMP2, j, j)
    nand(x, TMP1, TMP2)


ZERO = 10 ** 8
N_ONE = ZERO - 1
nand(N_ONE, ZERO, ZERO)
N_TWO = N_ONE - 1
shift(N_TWO, N_ONE)
ONE = N_TWO - 1
nand(ONE, N_TWO, N_TWO)

# print(d[ZERO])
# print(d[N_ONE])
# print(d[N_TWO])
# print(d[ONE])

for b in reversed(range(M)):
    shift(0, 0)
    if (X >> b) & 1:
        or_(0, 0, ONE)

# print(d)

assert d[0] == X, '\n' + bin(d[0]) + '\n' + bin(X)

print(len(queries))
for q in queries:
    print(*q)