AT_bcu30_b.数字パズル

在 Recruit Holdings 的员工之间，数字谜题非常流行。

员工们在玩的数字谜题是在一个纵 $9$ 行、横 $9$ 列的格子中，各自填写一个 $1$ 到 $9$ 的数字。填写时需要满足如下条件：

• 在每一行中，同一个数字不能出现两次或以上。
• 在每一列中，同一个数字不能出现两次或以上。
• 对于任意一个格子，从该格子用国际象棋中骑士的棋子一步能够到达的位置，不能有与该格子相同的数字（参见下图）。

图：如果你把骑士棋子放在黑色格子中，那么仅能用一步跳到带白色圆圈的 $8$ 个位置。

现在你需要编写一个答案检查程序。输入给定一个 $9 \times 9$ 的数字表格，每个数字都是 $1$ 到 $9$，判断其是否满足上述所有条件。

输入按如下形式给出。第 $i$ 行第 $j$ 列的格子填的数字为 $s_{ij}$。

$s_{11} s_{12} \ldots s_{19}$
$s_{21} s_{22} \ldots s_{29}$
$\vdots$
$s_{91} s_{92} \ldots s_{99}$

如果满足所有条件，输出 Yes，否则输出 No。

限制

• $s_{ij}$ $(1 \leq i, j \leq 9)$ 是 $1$ 到 $9$ 之间的数字。

样例解释 1

所有三个条件都满足。

样例解释 2

最后一行有两个 $9$，所以第一个条件不满足。同时，第二个条件也不满足。

样例解释 3

第 $7$ 行第 $3$ 列的格子与第 $8$ 行第 $1$ 列的格子，只需用骑士一步可以到达，且这两个格子填写了相同的数字，因此第三个条件不满足。

由 ChatGPT 5 翻译