AT_abc225_c [ABC225C] Calendar Validator

有一个 $10^{100}$ 行 $7$ 列的矩阵 $A$，对于任意整数对 $(i, j)\ (1 \leq i \leq 10^{100},\ 1 \leq j \leq 7)$，其第 $(i, j)$ 个元素为 $(i-1) \times 7 + j$。 现在给定一个 $N$ 行 $M$ 列的矩阵 $B$，请判断 $B$ 是否可以通过从 $A$ 中不改变方向地切出一个矩形区域得到。

输入通过标准输入给出，格式如下： > $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 \leq N \leq 10^4$ - $1 \leq M \leq 7$ - $1 \leq B_{i,j} \leq 10^9$ - 所有输入均为整数 ### 样例解释 1 给定的 $B$ 是 $A$ 的左上 $2$ 行 $3$ 列的子矩阵。 ### 样例解释 2 给定的 $B$ 如果旋转 $90$ 度后与 $A$ 的左上 $1$ 行 $2$ 列相同，但由于题目要求“不能改变方向”，所以不能通过旋转得到，答案应为 `No`。 由 ChatGPT 4.1 翻译