编程题
### 问题描述
小蓝是一个热爱数字的数学爱好者。有一天,他从一个神秘的人那里得到了一个 $N \times N$ 大小的矩阵,并决定与你分享。
小蓝定义了一个超级矩阵,它是一个 $N \times N$ 的矩阵,它具有以下特点:
- 对于矩阵中的每个 $2 \times 2$ 的子矩阵,其中占据的单元格数量不超过 $3$ 个(当一个单元格的数字为 $0$ 时,我们认为它没有被占据)。
- 对于矩阵中的每个 $2 \times 2$ 的子矩阵,主对角线(左上角到右下角)上的数字都是不同的(包括 $0$)。
请你帮助小蓝判断他得到的这个矩阵是不是超级矩阵。
### 输入格式
第一行包含一个整数 $N$,表示矩阵的边长。
接下来 $N$ 行,每行 $N$ 个数字 $a_i$,表示矩阵中的每个数。
### 输出格式
输出一行字符串,表示这个矩阵是不是超级矩阵。如果是,输出 "Yes",否则输出 "No"。
### 样例输入
```
3
1 5 8
6 0 3
7 4 5
```
### 样例输出
```
Yes
```
### 数据范围
$2 \leq N \leq 50$。
$0 \leq a_i \leq 50$。