#AGC053C. [AGC053C] Random Card Game

[AGC053C] Random Card Game

配点 : 900900

問題文

2N2N 枚のカードがあり、それぞれには 11 から 2N2N までの番号が付いています。 このカードを用いて行う、次のゲームを考えます。

まず、ディーラーはそれぞれの山が NN 枚のカードからなるように、カードを 22 つの山にランダムに分けます。 このとき、ディーラーは各山におけるカードの順序もランダムに定めます。 その後プレイヤーは、一方の山が空になるまで次の操作を繰り返し行い、最終的な操作回数がこのゲームのスコアとなります。

  • ある正の整数 kk を選び、一方の山の上から kk 枚目のカードと、もう一方の山の上から kk 枚目のカードを比較する。(ただし、kk は各山のカード枚数を超えてはいけない。)そして、番号が小さい方のカードをそのカードを含む山から取り除く。

このゲームをチーターがプレイするとします。 つまり、各山の各カードの番号を常に把握できるプレイヤーがプレイするとします。 このプレイヤーがスコアを最小化するよう最適にプレイしたときの、スコアの期待値を mod109+7\bmod 10^9+7 で求めてください(注記参照)。

注記

  • 求める期待値は有理数となります。期待値を分数 yx\frac{y}{x}xxyy は互いに素な正の整数)で表したとき、xxP=109+7P=10^9+7 と互いに素になるので、 xzy(modP)xz \equiv y \pmod P なる 00 以上 P1P-1 以下の唯一の整数 zz を出力してください。

制約

  • 1N1061 \leq N \leq 10^6

入力

入力は以下の形式で標準入力から与えられる。

NN

出力

答えを出力せよ。

1
1
3
486111118