#ABC143D. [ABC143D] Triangles

[ABC143D] Triangles

配点 : 400400

問題文

高橋君は、互いに区別出来る NN 本の棒を持っています。ii 本目の棒の長さは LiL_i です。

高橋君は、これらのうち 33 本の棒を使って三角形を作ろうとしています。このとき、棒の長さを a,b,ca, b, c として、以下の条件がすべて成り立たなければなりません。

  • a<b+ca < b + c
  • b<c+ab < c + a
  • c<a+bc < a + b

作れる三角形は何種類あるでしょうか。ただし、22 つの三角形は、そのうち一方にのみ使われている棒が存在するときに異なるとします。

制約

  • 入力は全て整数
  • 3N2×1033 \leq N \leq 2 \times 10^3
  • 1Li1031 \leq L_i \leq 10^3

入力

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

NN

L1L_1 L2L_2 ...... LNL_N

出力

作れる三角形が何種類あるかを出力せよ。

4
3 4 2 1
1

作れる三角形は、112233 番目の棒から成る三角形のみです。

3
1 1000 1
0

作れる三角形はありません。

7
218 786 704 233 645 728 389
23