#arc108e. [arc108_e]Random IS

[arc108_e]Random IS

問題文

NN 脚のイスが左から右に並んでいます。 左から ii 番目のイスのIDは aia_i です。ここで、aia_i がすべて相異なることが保証されます。

すぬけ君は何脚かのイスに印をつけ、印をつけたイス以外を捨てることにしました。はじめ、どのイスにも印はついていません。 印のついたイスたちのIDが左から右に単調増加になっているような印のつけ方を よい印のつけ方 と呼びます。

すぬけ君は以下の手続きに従って印をつけることにしました。

  1. イス xx に新たに印をつけても印のつけ方がよい印のつけ方のままであるとき、イス xx良いイス とする。現在の良いイスの脚数を kk とする
  2. k=0k=0 なら印のついていないイスを取り除き手続きを終了する。そうでないなら、kk 脚の良いイスから等確率で 11 つを選んで印をつけ手順 1 へ戻る

手続き終了時に残るイスの脚数の期待値が有理数になることが証明できます。その値を P/QP/Q (既約分数)とします。また M=109+7M=10^{9}+7 とします。このとき、00 以上 M1M-1 以下の整数 RR がただ一つ存在して PequivQtimesRpmodMP \\equiv Q \\times R \\pmod{M} となることが証明でき、その値は PtimesQ1pmodMP \\times Q^{-1} \\pmod{M} と等しくなります。ここで、Q1Q^{-1} はモジュラ逆数です。RR を求めてください。

制約

  • 与えられる入力は全て整数
  • 1leqNleq20001 \\leq N \\leq 2000
  • 1leqaileqN1 \\leq a_i \\leq N
  • aia_i はすべて相異なる

入力

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

NN a1a_1 a2a_2 cdots\\cdots aNa_N

出力

RR を出力せよ。


入力例 1

3
3 1 2

出力例 1

666666673
  • はじめにイス 11(IDが 11 のイスです) に印がついたとき、最終的に残るイスはイス 1,21,222 脚です。
  • はじめにイス 22 に印がついたとき、最終的に残るイスはイス 1,21,222 脚です。
  • はじめにイス 33 に印がついたとき、最終的に残るイスはイス 3311 脚です。
  • イスは等確率で選ばれるので手続き終了時に残るイスの脚数の期待値は frac53\\frac{5}{3} となります。5equiv3times666666673pmodM5 \\equiv 3 \\times 666666673 \\pmod{M} より、R=666666673R=666666673 です。

入力例 2

30
26 16 28 30 23 11 29 18 22 15 20 13 27 9 21 7 5 25 4 19 8 3 1 24 10 14 17 12 2 6

出力例 2

297703424