2816: T4-小数独验证
内存限制：128 MB
时间限制：1.000 S
评测方式：文本比较
命题人：
提交：35
解决：10
题目描述
33DAI 最近在玩一个 $4x4$ 的小数独。这个数独可以看作是一个 $4$ 行 $4$ 列的小数组。
| a[1][1] |
a[1][2] |
a[1][3] | a[1][4] |
| a[2][1] | a[2][2] | a[2][3] | a[2][4] |
| a[3][1] | a[3][2] | a[3][3] | a[3][4] |
| a[4][1] | a[4][2] | a[4][3] | a[4][4] |
当下面六个条件都成立时，我们认为这个数独是合法的：
1. 每一行都是由 $1\sim 4$ 构成的
2. 每一列都是由 $1\sim 4$ 构成的
3. 左上方四个数 $a_{1,1},a_{1,2},a_{2,1},a_{2,2}$ 是由 $1\sim 4$ 构成的
4. 右上方四个数 $a_{1,3},a_{1,4},a_{2,3},a_{2,4}$ 是由 $1\sim 4$ 构成的
5. 左下方四个数 $a_{3,1},a_{3,2},a_{4,1},a_{4,2}$ 是由 $1\sim 4$ 构成的
6. 右下方四个数 $a_{3,3},a_{3,4},a_{4,3},a_{4,4}$ 是由 $1\sim 4$ 构成的
现在给你 33DAI 填完的结果，请你判断他填的是否合法。
输入
四行四列，输出 33DAI 填好的数独。
输出
一行一个字符串，如果合法就输出 `yes`，否则输出 `no`。
样例输入 复制
4 2 3 1
1 3 2 4
3 4 1 2
2 1 4 3样例输出 复制
yes提示
```input2
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
```
```output2
no
```
## 数据规模与约定
对于 $100\%$ 的数据，$1\le a_{i,j} \le 4$
- 子任务 1（1 分）：保证六个条件都成立。
- 子任务 2（99 分）：没有特殊限制。
1 2 3 4
2 3 4 1
3 4 1 2
4 1 2 3
```
```output2
no
```
## 数据规模与约定
对于 $100\%$ 的数据，$1\le a_{i,j} \le 4$
- 子任务 1（1 分）：保证六个条件都成立。
- 子任务 2（99 分）：没有特殊限制。