#arc035b. [arc035_b]アットコーダー王国のコンテスト事情

[arc035_b]アットコーダー王国のコンテスト事情

問題文

高橋くん様は、アットコーダー王国の王様です。

プログラミングコンテスト好きな彼が統治するアットコーダー王国では、年に一度コンテストが開催されます。

このコンテストでは NN 問の問題が出題されます。また、順位を付ける際の 11 つの要素としてペナルティというものが存在します。 ある問題を正解したとき、コンテスト開始から経過した時間分だけのペナルティが、各問題ごとに発生します。そして、その発生したペナルティの総和がコンテストペナルティとなります。ARCのペナルティとは異なるルールであることに注意してください。

非常に優秀な国民である貴方には、全ての問題を解く力があります。 しかも、全ての問題について、その問題を正解するためにどれだけ時間をかければよいのかを知っており、ちょうどその時間取り組むと必ず正解することができます。

貴方は、自由な順番で問題を解くことができるので、コンテストペナルティが最小となるように解こうと思いました。

全ての問題を解くときのコンテストペナルティの最小値と、そのような解き方が何通りあるかを 1,000,000,007(109+7)1,000,000,007(10^9+7) で割った余りを答えて下さい。


入力

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

NN T1T_1 T2T_2 : TNT_N

  • 11 行目には、コンテストでの問題数を表す整数 N(1N10,000)N (1 ≦ N ≦ 10,000) がスペース区切りで与えられる。
  • 22 行目からの NN 行には、各問題を解くのにかかる時間の情報が与えられる。そのうち i(1iN)i (1≦i≦N) 行目には、整数 Ti(1Ti10,000)T_i (1≦T_i≦10,000) が書かれており、ii 番目の問題を解くのに TiT_i 分かかることを示す。

部分点

この問題には部分点が存在する。

  • 100100 点中 5050 点分のテストケースにおいて、コンテストペナルティが最小となるような解き方の数は 11 通りである。

出力

出力は以下の形式で標準出力に出力せよ。

  • 11 行目には、コンテストペナルティの最小値を出力せよ。32bit整数型ではオーバーフローする可能性があることに気をつけること。
  • 22 行目には、コンテストペナルティが最小となるような解き方の数を 1,000,000,007(109+7)1,000,000,007(10^9+7) で割った余りを出力せよ。

入力例1


2
20
10

出力例1


40
1

22 番目の問題を解いてから 11 番目の問題を解くのがよい。

  • コンテストが開始する(時刻:00 分)。
  • 1010 分後、22 番目の問題に正解する(時刻:1010 分)。この時点で発生するペナルティは 1010 分である。
  • その 2020 分後、11 番目の問題に正解する(時刻: 3030 分)。この時点で発生するペナルティは 3030 分である。

コンテストペナルティは 40(=10+30)40(=10+30) 分となる。


入力例2


5
2
1
2
1
2

出力例2


21
12

入力例3


13
1
1
1
1
1
1
1
1
1
1
1
1
1

出力例3


91
227020758

どのような順番で解いても良い。余りを取るのを忘れないこと。