AT_arc186_a [ARC186A] Underclued

[problemUrl]: https://atcoder.jp/contests/arc186/tasks/arc186_a 各成分が $ 0,1 $ である $ N $ 次正方行列 $ A,B $ について、以下の条件を満たしているとき $ A $ と $ B $ は **似ている** と言います。 - 各行の総和が等しい。つまり、どの $ i=1,\dots,N $ についても $ A_{i,1}\ +\ \dots\ +\ A_{i,N}\ =\ B_{i,1}\ +\ \dots\ +\ B_{i,N} $ - 各列の総和が等しい。つまり、どの $ j=1,\dots,N $ についても $ A_{1,j}\ +\ \dots\ +\ A_{N,j}\ =\ B_{1,j}\ +\ \dots\ +\ B_{N,j} $ また、各成分が $ 0,1 $ である $ N $ 次正方行列 $ A $ と整数 $ i,j $ ($ 1\ \leq\ i,j\ \leq\ N $) について、$ A $ と似ているどの行列 $ B $ についても $ A_{i,j}\ =\ B_{i,j} $ が成り立つとき、$ A $ の $ i $ 行 $ j $ 列成分は **固定されている** と言います。 以下の $ Q $ 個のクエリに答えてください。 - $ i $ 番目のクエリ：各成分が $ 0,1 $ である $ N $ 次正方行列であって、固定されている成分がちょうど $ K_i $ 個であるようなものが存在するなら `Yes`、そうでないなら `No` を出力せよ。

入力は以下の形式で標準入力から与えられる。 > $ N $ $ Q $ $ K_1 $ $ K_2 $ $ \vdots $ $ K_Q $

$ Q $ 行に出力せよ。 $ i\ (1\ \le\ i\ \le\ Q) $ 行目には $ i $ 番目のクエリの答えを出力せよ。

### 制約 - $ 2\ \le\ N\ \le\ 30 $ - $ 1\ \le\ Q\ \le\ N^2+1 $ - $ 0\ \le\ K_i\ \le\ N^2 $ - $ K_i\ \ne\ K_j\ (1\ \le\ i\