问题描述

给定一个 $10^{100} \times 7$ 的矩阵 $A$，其中对于每对整数 $(i,j)$（$1 \leq i \leq 10^{100}$，$1 \leq j \leq 7$），第 $(i,j)$ 个元素为 $(i-1) \times 7 + j$。

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

约束条件

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

输入

从标准输入读入数据，输入格式如下：

$N$ $M$ $B_{1,1}$ $B_{1,2}$ $\ldots$ $B_{1,M}$ $B_{2,1}$ $B_{2,2}$ $\ldots$ $B_{2,M}$ $\hspace{1.6cm}\vdots$ $B_{N,1}$ $B_{N,2}$ $\ldots$ $B_{N,M}$

输出

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

示例输入 1

2 3
1 2 3
8 9 10

示例输出 1

Yes

给定的矩阵 $B$ 是 $A$ 的左上方的 $2 \times 3$ 的子矩阵。

示例输入 2

2 1
1
2

示例输出 2

No

尽管给定的矩阵 $B$ 在旋转 $90$ 度后可以匹配 $A$ 的左上方的 $1 \times 2$ 的子矩阵，但问题描述要求判断 $B$ 是否为 $A$ 的未旋转的子矩阵，所以答案是 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