题目描述

在古老的魔法图书馆中，有一卷无限长的魔法卷轴$A$，它有$10^{100}$页，每页有7个符文位置。第$i$页第$j$个位置的符文编号为$(i-1)×7 + j$。

现在，大法师发现了一个$N×M$的残缺符文矩阵$B$，他想知道这个残缺矩阵是否能完整地对应魔法卷轴$A$的某一部分（不能旋转或翻转）。

数据范围

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

输入格式

N M
B₁₁ B₁₂ ... B₁M
B₂₁ B₂₂ ... B₂M
...
B_N1 B_N2 ... B_NM

输出格式

如果$B$能匹配卷轴$A$的某一部分，输出Yes，否则输出No

输入样例1

2 3
4 5 6
11 12 13

输出样例1

Yes

输入样例2

2 1
1
2

输出样例2

No