AT_agc035_c [AGC035C] Skolem XOR Tree
Description
[problemUrl]: https://atcoder.jp/contests/agc035/tasks/agc035_c
整数 $ N $ が与えられます。$ 1 $ から $ 2N $ までの番号がついた $ 2N $ 個の頂点を持つ木であって次の条件を満たすものが存在するか判定し、存在するならばその一例を示してください。
- $ 1 $ 以上 $ N $ 以下の各整数 $ i $ について、頂点 $ i,\ N+i $ の重みが $ i $ であるとする。このとき、$ 1 $ 以上 $ N $ 以下の各整数 $ i $ について、頂点 $ i,\ N+i $ 間のパス上にある頂点 (両端を含む) の重みのビットごとの排他的論理和が $ i $ である。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $
Output Format
問題文中の条件を満たす木が存在するならば `Yes` を、そうでなければ `No` を出力せよ。 その後、存在するならば続く $ 2N-1 $ 行にそのような木の $ 2N-1 $ 本の辺を以下の形式で出力せよ。
> $ a_{1} $ $ b_{1} $ $ \vdots $ $ a_{2N-1} $ $ b_{2N-1} $
ここで、各組 $ (a_i,\ b_i) $ は木に頂点 $ a_i,\ b_i $ を結ぶ辺が存在することを表す。辺は任意の順で出力して構わない。
Explanation/Hint
### 制約
- 入力は全て整数
- $ 1\ \leq\ N\ \leq\ 10^{5} $
### Sample Explanation 1
\- 出力例は以下のグラフを表します。 !\[d004b05438497d50637b534e89f7a511.png\](https://img.atcoder.jp/agc035/d004b05438497d50637b534e89f7a511.png)
### Sample Explanation 2
\- 条件を満たす木が存在しません。