AT_pakencamp_2022_day3_g 4x4

$ N\times N $ 整数行列 $ A $ が与えられます。以下の条件を満たす $ N \times N $ 整数行列 $ B $ が存在するか判定してください。 - すべての整数対 $ (i,j) $ について、 $ A_{i,j} \neq -1 $ ならば $ A_{i,j}=B_{i,j} $ - $ B $ のどの $ 4 \times 4 $ の部分正方形を取り出しても、その部分正方形は $ 1 $ 以上 $ 16 $ 以下の整数をすべて含む。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ A_{1,1} $ $ A_{1,2} $ $ \ldots $ $ A_{1,N} $ $ A_{2,1} $ $ A_{2,2} $ $ \ldots $ $ A_{2,N} $ $ \vdots $ $ A_{N,1} $ $ A_{N,2} $ $ \ldots $ $ A_{N,N} $

条件を満たす $ B $ が存在しないならば `No` を、存在するならば `Yes` を出力せよ。

### Constraints - $ 4 \le N \le 500 $ - $ A_{i,j}=-1 $ または $ 1 \le A_{i,j} \le 16 $ - 入力は全て整数