#arc126f. [arc126_f]Affine Sort
[arc126_f]Affine Sort
問題文
項からなる正整数列 が与えられます。
正の整数 に対して、整数の組 のうちで以下の条件がすべて成り立つものの個数を と書くことにします。
- かつ
- 各 に対して を で割った余りを とするとき、 が成り立つ。
極限 $\\displaystyle \\lim_{K\\to\\infty} \\frac{f(K)}{K^3}$ が存在することが証明できます。 この値を で求めてください(注記参照)。
注記
求める極限は必ず有理数となることが証明できます。またこの問題の制約下では、その値を互いに素な つの整数 を用いて と表したとき、 かつ を満たす整数 がただ一つ存在することが証明できます。この を求めてください。
制約
- は正の整数で、 を満たす
- ならば
入力
入力は以下の形式で標準入力から与えられます。
出力
$\\displaystyle \\lim_{K\\to\\infty} \\frac{f(K)}{K^3}$ を で出力してください。
入力例 1
3
3 1 2
出力例 1
291154603
- 例えば とすると、, , となり、 が成り立ちます。
- , , , , が成り立ちます。
- $\\displaystyle \\lim_{K\\to\\infty} \\frac{f(K)}{K^3} = \\frac{1}{24}$ が成り立ちます。
入力例 2
3
5 9 2
出力例 2
832860616
$\\displaystyle \\lim_{K\\to\\infty} \\frac{f(K)}{K^3} = \\frac{55}{1008}$ が成り立ちます。
入力例 3
2
2 3
出力例 3
166374059
$\\displaystyle \\lim_{K\\to\\infty} \\frac{f(K)}{K^3} = \\frac{1}{6}$ が成り立ちます。
入力例 4
4
4 5 3 2
出力例 4
0
$\\displaystyle \\lim_{K\\to\\infty} \\frac{f(K)}{K^3} = 0$ が成り立ちます。