/*

    直接判断是O(n^3)的，显然不行，我们发现，如果A*B=C，那么(A*B)*R=C*R。

    可以利用以上结论，设R为一个1*n的随机矩阵，如果(A*B)*R与C*R相等，那么A*B与C大几率相等。

*/

#include<cstdio>

#include<iostream>

#include<cstdlib>

#define N 1010

using namespace std;

int a[N][N],b[N][N],c[N][N],rnd[N],ans1[N],ans2[N],n;

void mul(int a[N],int b[N][N],int c[N]){

    int tmp[N]={};

    for(int j=;j<=n;j++)

        for(int i=;i<=n;i++)

            tmp[j]+=a[i]*b[i][j];

    for(int i=;i<=n;i++) c[i]=tmp[i];

}

int main(){

    freopen("jh.in","r",stdin);

    for(int i=;i<=;i++) rnd[i]=rand();

    while(scanf("%d",&n)!=EOF){

        for(int i=;i<=n;i++)

            for(int j=;j<=n;j++)

                scanf("%d",&a[i][j]);

        for(int i=;i<=n;i++)

            for(int j=;j<=n;j++)

                scanf("%d",&b[i][j]);

        for(int i=;i<=n;i++)

            for(int j=;j<=n;j++)

                scanf("%d",&c[i][j]);

        mul(rnd,a,ans1);

        mul(ans1,b,ans1);

        mul(rnd,c,ans2);

        int flag=;

        for(int i=;i<=n;i++)

            if(ans1[i]!=ans2[i]) {flag=;break;}

        if(!flag) printf("Yes\n");

        else printf("No\n");

    }

    return ;

}