题目描述

存在一个 $10^{100} \times 7$ 的矩阵 $A$，对于所有的整数对 $(i,j)$（$1 \le i \le 10^{100}$，$1 \le j \le 7$），矩阵 $A$ 第 $i$ 行第 $j$ 列的元素值为 $(i-1) \times 7 + j$。

现在给定一个 $N \times M$ 的矩阵 $B$，请判断矩阵 $B$ 是否是矩阵 $A$ 的某一个（未旋转过的）矩形子区域。

输入格式

第一行包含两个正整数 $N$ 和 $M$ —— 分别表示矩阵 $B$ 的行数和列数。

接下来 $N$ 行，每行包含 $M$ 个正整数，其中第 $i$ 行的第 $j$ 个整数表示 $B_{i,j}$。

输出格式

如果矩阵 $B$ 是矩阵 $A$ 的某个矩形子区域，输出 Yes；否则输出 No。

样例输入 1

2 3
1 2 3
8 9 10

样例输出 1

Yes

样例输入 2

2 1
1
2

样例输出 2

No

样例输入 3

10 4
1346 1347 1348 1349
1353 1354 1355 1356
1360 1361 1362 1363
1367 1368 1369 1370
1374 1375 1376 1377
1381 1382 1383 1384
1388 1389 1390 1391
1395 1396 1397 1398
1402 1403 1404 1405
1409 1410 1411 1412

样例输出 3

Yes

说明

样例解释

• 在第一个样例中，给定的矩阵 $B$ 恰好是矩阵 $A$ 左上角的 $2 \times 3$ 子矩阵。因此输出 Yes。
• 在第二个样例中，虽然将矩阵 $B$ 旋转 $90$ 度后可以与矩阵 $A$ 左上角的 $1 \times 2$ 子矩阵匹配，但题目明确要求判断 $B$ 是否是 $A$ 的未旋转过的子区域，因此输出 No。

数据范围

对于所有测试点，保证：

• $1 \le N \le 10^4$。
• $1 \le M \le 7$。
• $1 \le B_{i,j} \le 10^9$。
• 保证所有的输入值均为整数。