题目描述

给出三个行数和列数均为 $N$ 的矩阵 $A,B,C$，判断 $A\times B=C$ 是否成立。

输入格式

题目可能包含若干组数据。 对于每组数据，第一行一个数 $N$，接下来给出三个 $N\times N$ 的矩阵，依次为 $A,B,C$ 三个矩阵。

输出格式

对于每组数据，若 $A\times B=C$ 成立，则输出 Yes，否则 No。每个答案占一行。

样例输入

1
2
2
100

样例输出

No

数据规模与约定

对于 $90\%$ 的数据，$N$ 不超过 $100$；

对于 $100\%$ 的数据，$N$ 不超过 $10^3$，矩阵中的数字大于等于 $0$ 小于 $10^3$，数据组数不超过 $5$ 组。