AT_abc225_c [ABC225C] Calendar Validator

[problemUrl]: https://atcoder.jp/contests/abc225/tasks/abc225_c $ 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 $ - 入力はすべて整数 ### Sample Explanation 1 与えられる $ B $ は、$ A $ の左上 $ 2 $ 行 $ 3 $ 列を切り出したものとなっています。 ### Sample Explanation 2 与えられる $ B $ を $ 90 $ 度回転させると $ A $ の左上 $ 1 $ 行 $ 2 $ 列と一致しますが、問題文中に「向きを変えずに」とある通り回転による一致は認められていないため、答えは `No` となります。