#include <bits/stdc++.h>
#include "testlib.h"
using namespace std;
using ll = long long;

const ll ALL_MAX = 200;

const ll N_MIN = 1;
const ll N_MAX = ALL_MAX;
const ll K_MIN = 1;
const ll K_MAX = ALL_MAX;
const ll A_MIN = 0;
const ll A_MAX = ALL_MAX;
const ll B_MIN = 0;
const ll B_MAX = ALL_MAX;
const ll P_MIN = 0;
const ll P_MAX = ALL_MAX;

ll N, K;
ll A[N_MAX];
ll B[N_MAX];
ll P[N_MAX][N_MAX];

void input(){
    N = inf.readInt(N_MIN, N_MAX, "N");
    inf.readSpace();
    K = inf.readInt(K_MIN, K_MAX, "K");
    inf.readEoln();
    for(int i=0;i<N;i++){
        if(i) inf.readSpace();
        A[i] = inf.readInt(A_MIN, A_MAX, format("A[%d]", i+1));
    }
    inf.readEoln();
    for(int i=0;i<N;i++){
        if(i) inf.readSpace();
        B[i] = inf.readInt(B_MIN, B_MAX, format("B[%d]", i+1));
    }
    inf.readEoln();
    for(int i=0;i<N;i++){
        for(int j=0;j<N;j++){
            if(j) inf.readSpace();
            P[i][j] = inf.readInt(P_MIN, P_MAX, format("P[%d][%d]", i+1, j+1));
        }
        inf.readEoln();
    }
    inf.readEof();
}

void check(){
    bool A_sum_K = true, B_sum_K = true;

    ll A_sum = 0, B_sum = 0;
    for(int i=0;i<N;i++) A_sum += A[i];
    for(int i=0;i<N;i++) B_sum += B[i];

    ensuref(A_sum == K, "Sum of A is not K");
    ensuref(B_sum == K, "Sum of B is not K");
}

int main(){
    registerValidation();
    input();
    check();
}