Input

20
20 19 18 17 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1

Output

232792560

原题数据过水，可以放过 $O(n\times ans)$ 复杂度的错解。