Problem:


Score : 600 points

Problem Statement

Given are an integer N and arrays S, T, U, and V, each of length N.
Construct an N×N matrix a that satisfy the following conditions:

a_{i,j} is an integer.

0 \leq a_{i,j}  \lt 2^{64}.

If S_{i} = 0, the bitwise AND of the elements in the i-th row is U_{i}.

If S_{i} = 1, the bitwise OR of the elements in the i-th row is U_{i}.

If T_{i} = 0, the bitwise AND of the elements in the i-th column is V_{i}.

If T_{i} = 1, the bitwise OR of the elements in the i-th column is V_{i}.

However, there may be cases where no matrix satisfies the conditions.

Constraints

All values in input are integers.

 1 \leq N \leq 500 

 0 \leq S_{i} \leq 1 

 0 \leq T_{i} \leq 1  

 0 \leq U_{i} \lt 2^{64}  

 0 \leq V_{i} \lt 2^{64}  

Input

Input is given from Standard Input in the following format:

N
S_{1} S_{2} ...  S_{N}
T_{1} T_{2} ...  T_{N}
U_{1} U_{2} ...  U_{N}
V_{1} V_{2} ...  V_{N}

Output

If there exists a matrix that satisfies the conditions, print one such matrix in the following format:

a_{1,1} ...  a_{1,N}
:
a_{N,1} ...  a_{N,N}

Note that any matrix satisfying the conditions is accepted.

If no matrix satisfies the conditions, print -1.

Sample Input 1

2
0 1
1 0
1 1
1 0

Sample Output 1

1 1
1 0

In Sample Input 1, we need to find a matrix such that:

the bitwise AND of the elements in the 1-st row is 1;

the bitwise OR of the elements in the 2-nd row is 1;

the bitwise OR of the elements in the 1-st column is 1;

the bitwise AND of the elements in the 2-nd column is 0.

Sample Input 2

2
1 1
1 0
15 15
15 11

Sample Output 2

15 11
15 11



Sample input:
2
0 1
1 0
1 1
1 0


Sample output:
1 1
1 0

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                if tmp[i][j] == 0: invalid_exit()
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                if tmp[i][j] == 1: invalid_exit()
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    for _ in range(2):
        if blank_rows or blank_cols:
            j = list(blank_cols)[0] if len(blank_cols)==1 else None
            for i,(s,u) in enumerate(zip(S,U)):
                x = (u>>k)&1
                if s==0 and x==0:
                    if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        y = (V[j]>>k)&1
                        if x==y:
                            tmp[i][j] = x
                            if x:
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                row_has_0[i] = col_has_0[j] = 1
                        else:
                            if x==0 and (not row_has_0[i]) and (not col_has_1[j]): invalid_exit()
                            if x==1 and (not row_has_1[i]) and (not col_has_0[j]): invalid_exit()
                            if row_has_0[i]:
                                tmp[i][j] = 1
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                tmp[i][j] = 0
                                row_has_0[i] = col_has_0[j] = 1
                        blank_rows.remove(i)
                elif s and x:
                    if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        y = (V[j]>>k)&1
                        if x==y:
                            tmp[i][j] = x
                            if x:
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                row_has_0[i] = col_has_0[j] = 1
                        else:
                            if x==0 and (not row_has_0[i]) and (not col_has_1[j]): invalid_exit()
                            if x==1 and (not row_has_1[i]) and (not col_has_0[j]): invalid_exit()
                            if row_has_0[i]:
                                tmp[i][j] = 1
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                tmp[i][j] = 0
                                row_has_0[i] = col_has_0[j] = 1
                        blank_rows.remove(i)
            if j is not None:
                blank_cols = set()

        if blank_rows or blank_cols:
            i = list(blank_rows)[0] if len(blank_rows)==1 else None
            for j,(t,v) in enumerate(zip(T,V)):
                x = (v>>k)&1
                if t==0 and x==0:
                    if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        y = (U[i]>>k)&1
                        if x==y:
                            tmp[i][j] = x
                            if x:
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                row_has_0[i] = col_has_0[j] = 1
                        else:
                            if x==0 and (not col_has_0[i]) and (not row_has_1[j]): invalid_exit()
                            if x==1 and (not col_has_1[i]) and (not row_has_0[j]): invalid_exit()
                            if col_has_0[i]:
                                tmp[i][j] = 1
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                tmp[i][j] = 0
                                row_has_0[i] = col_has_0[j] = 1
                        blank_cols.remove(j)
                elif t and x:
                    if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        y = (U[i]>>k)&1
                        if x==y:
                            tmp[i][j] = x
                            if x:
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                row_has_0[i] = col_has_0[j] = 1
                        else:
                            if x==0 and (not col_has_0[i]) and (not row_has_1[j]): invalid_exit()
                            if x==1 and (not col_has_1[i]) and (not row_has_0[j]): invalid_exit()
                            if col_has_0[i]:
                                tmp[i][j] = 1
                                row_has_1[i] = col_has_1[j] = 1
                            else:
                                tmp[i][j] = 0
                                row_has_0[i] = col_has_0[j] = 1
                        blank_cols.remove(j)
            if i is not None:
                blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c == -1: invalid_exit()
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                if tmp[i][j] == 0: invalid_exit()
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                if tmp[i][j] == 1: invalid_exit()
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    for _ in range(2):
        if blank_rows or blank_cols:
            j = list(blank_cols)[0] if len(blank_cols)==1 else None
            for i,(s,u) in enumerate(zip(S,U)):
                x = (u>>k)&1
                if s==0 and x==0:
                    if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        if tmp[i][j] == 1: invalid_exit()
                        tmp[i][j] = 0
                        row_has_0[i] = col_has_0[j] = 1
                        blank_rows.remove(i)
                elif s and x:
                    if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        if tmp[i][j] == 0: invalid_exit()
                        tmp[i][j] = 1
                        row_has_1[i] = col_has_1[j] = 1
                        blank_rows.remove(i)
            if j is not None:
                blank_cols = set()
        if blank_rows or blank_cols:
            i = list(blank_rows)[0] if len(blank_rows)==1 else None
            for j,(t,v) in enumerate(zip(T,V)):
                x = (v>>k)&1
                if t==0 and x==0:
                    if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        if tmp[i][j] == 1: invalid_exit()
                        tmp[i][j] = 0
                        row_has_0[i] = col_has_0[j] = 1
                        blank_cols.remove(j)
                elif t and x:
                    if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        if tmp[i][j] == 0: invalid_exit()
                        tmp[i][j] = 1
                        row_has_1[i] = col_has_1[j] = 1
                        blank_cols.remove(j)
            if i is not None:
                blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c == -1: invalid_exit()
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                if tmp[i][j] == 0: invalid_exit()
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                if tmp[i][j] == 1: invalid_exit()
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    for _ in range(2):
        if blank_rows or blank_cols:
            j = list(blank_cols)[0] if len(blank_cols)==1 else None
            for i,(s,u) in enumerate(zip(S,U)):
                x = (u>>k)&1
                if s==0 and x==0:
                    if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        tmp[i][j] = 0
                        row_has_0[i] = col_has_0[j] = 1
                        blank_rows.remove(i)
                elif s and x:
                    if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        tmp[i][j] = 1
                        row_has_1[i] = col_has_1[j] = 1
                        blank_rows.remove(i)
            if j is not None:
                blank_cols = set()
        if blank_rows or blank_cols:
            i = list(blank_rows)[0] if len(blank_rows)==1 else None
            for j,(t,v) in enumerate(zip(T,V)):
                x = (v>>k)&1
                if t==0 and x==0:
                    if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        tmp[i][j] = 0
                        row_has_0[i] = col_has_0[j] = 1
                        blank_cols.remove(j)
                elif t and x:
                    if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        tmp[i][j] = 1
                        row_has_1[i] = col_has_1[j] = 1
                        blank_cols.remove(j)
            if i is not None:
                blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c == -1: invalid_exit()
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                if tmp[i][j] == 0: invalid_exit()
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                if tmp[i][j] == 1: invalid_exit()
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    for _ in range(2):
        if blank_rows or blank_cols:
            j = list(blank_cols)[0] if len(blank_cols)==1 else None
            for i,(s,u) in enumerate(zip(S,U)):
                x = (u>>k)&1
                if s==0 and x==0:
                    if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        tmp[i][j] = 0
                        row_has_0[i] = col_has_0[j] = 1
                        blank_rows.remove(i)
                elif s and x:
                    if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                    if j is not None:
                        tmp[i][j] = 1
                        row_has_1[i] = col_has_1[j] = 1
                        blank_rows.remove(i)
            if j is not None:
                blank_cols = set()
        if blank_rows or blank_cols:
            i = list(blank_rows)[0] if len(blank_rows)==1 else None
            for j,(t,v) in enumerate(zip(T,V)):
                x = (v>>k)&1
                if t==0 and x==0:
                    if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        tmp[i][j] = 0
                        row_has_0[i] = col_has_0[j] = 1
                        blank_cols.remove(j)
                elif t and x:
                    if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                    if i is not None:
                        tmp[i][j] = 1
                        row_has_1[i] = col_has_1[j] = 1
                        blank_cols.remove(j)
            if i is not None:
                blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                if tmp[i][j] == 0: invalid_exit()
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                if tmp[i][j] == 1: invalid_exit()
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    if blank_rows or blank_cols:
        j = list(blank_cols)[0] if len(blank_cols)==1 else None
        for i,(s,u) in enumerate(zip(S,U)):
            x = (u>>k)&1
            if s==0 and x==0:
                if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_rows.remove(i)
            elif s and x:
                if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_rows.remove(i)
        if j is not None:
            blank_cols = set()
    if blank_rows or blank_cols:
        i = list(blank_rows)[0] if len(blank_rows)==1 else None
        for j,(t,v) in enumerate(zip(T,V)):
            x = (v>>k)&1
            if t==0 and x==0:
                if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_cols.remove(j)
            elif t and x:
                if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_cols.remove(j)
        if i is not None:
            blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                if tmp[i][j] != 1: invalid_exit()
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                if tmp[i][j] != 0: invalid_exit()
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    if blank_rows or blank_cols:
        j = list(blank_cols)[0] if len(blank_cols)==1 else None
        for i,(s,u) in enumerate(zip(S,U)):
            x = (u>>k)&1
            if s==0 and x==0:
                if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_rows.remove(i)
            elif s and x:
                if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_rows.remove(i)
        if j is not None:
            blank_cols = set()
    if blank_rows or blank_cols:
        i = list(blank_rows)[0] if len(blank_rows)==1 else None
        for j,(t,v) in enumerate(zip(T,V)):
            x = (v>>k)&1
            if t==0 and x==0:
                if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_cols.remove(j)
            elif t and x:
                if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_cols.remove(j)
        if i is not None:
            blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    if blank_rows or blank_cols:
        j = list(blank_cols)[0] if len(blank_cols)==1 else None
        for i,(s,u) in enumerate(zip(S,U)):
            x = (u>>k)&1
            if s==0 and x==0:
                if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_rows.remove(i)
            elif s and x:
                if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_rows.remove(i)
        if j is not None:
            blank_cols = set()
    if blank_rows or blank_cols:
        i = list(blank_rows)[0] if len(blank_rows)==1 else None
        for j,(t,v) in enumerate(zip(T,V)):
            x = (v>>k)&1
            if t==0 and x==0:
                if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_cols.remove(j)
            elif t and x:
                if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_cols.remove(j)
        if i is not None:
            blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)

Submission status: Wrong Answer

Solution code:
N = int(input())
S = list(map(int,input().split()))
T = list(map(int,input().split()))
U = list(map(int,input().split()))
V = list(map(int,input().split()))

def invalid_exit():
    print(-1)
    exit()

ans = [[0]*N for _ in range(N)]
for k in range(64):
    tmp = [[-1]*N for _ in range(N)]
    row_has_0 = [0] * N
    col_has_0 = [0] * N
    row_has_1 = [0] * N
    col_has_1 = [0] * N
    blank_rows = set(range(N))
    blank_cols = set(range(N))
    for i,(s,u) in enumerate(zip(S,U)):
        x = (u>>k)&1
        if s==0 and x:
            for j in range(N):
                tmp[i][j] = 1
                col_has_1[j] = 1
            row_has_1[i] = 1
            blank_rows.remove(i)
        elif s and x==0:
            for j in range(N):
                tmp[i][j] = 0
                col_has_0[j] = 1
            row_has_0[i] = 1
            blank_rows.remove(i)
    for j,(t,v) in enumerate(zip(T,V)):
        x = (v>>k)&1
        if t==0 and x:
            for i in range(N):
                tmp[i][j] = 1
                row_has_1[i] = 1
            col_has_1[j] = 1
            blank_cols.remove(j)
        elif t and x==0:
            for i in range(N):
                tmp[i][j] = 0
                row_has_0[i] = 1
            col_has_0[j] = 1
            blank_cols.remove(j)

    for _ in range(2):
        j = list(blank_cols)[0] if len(blank_cols)==1 else None
        for i,(s,u) in enumerate(zip(S,U)):
            x = (u>>k)&1
            if s==0 and x==0:
                if not row_has_0[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_rows.remove(i)
            elif s and x:
                if not row_has_1[i] and len(blank_cols) == 0: invalid_exit()
                if j is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_rows.remove(i)
        if j is not None:
            blank_cols = set()
        i = list(blank_rows)[0] if len(blank_rows)==1 else None
        for j,(t,v) in enumerate(zip(T,V)):
            x = (v>>k)&1
            if t==0 and x==0:
                if not col_has_0[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 0
                    row_has_0[i] = col_has_0[j] = 1
                    blank_cols.remove(j)
            elif t and x:
                if not col_has_1[j] and len(blank_rows) == 0: invalid_exit()
                if i is not None:
                    tmp[i][j] = 1
                    row_has_1[i] = col_has_1[j] = 1
                    blank_cols.remove(j)
        if i is not None:
            blank_rows = set()

    assert len(blank_rows) != 1
    assert len(blank_cols) != 1
    for i,r in enumerate(blank_rows):
        for j,c in enumerate(blank_cols):
            tmp[r][c] = (i%2)^(j%2)
    for i,row in enumerate(tmp):
        for j,c in enumerate(row):
            if c:
                ans[i][j] |= (1<<k)

for row in ans:
    print(*row)