#861 同盟

問題文

問題文の言語

外での平和と内での協和は美しいものである。

リューベックのかつての城門の碑文

いくつかの都市が、商人の安全を守り交易を活発にするために貿易同盟を結びました。あなたは同盟の共同基金を管理する会計係です。

同盟は加盟都市間の新たな取引を奨励しようとしています。そのため、異なる 2 つの加盟都市の組ごとに、最初の取引で商品を 1 箱送るための輸送費を一度だけ補助することにしました。

同盟には $N$ 個の都市が加盟しており、各都市には $1$ 番から $N$ 番までの番号が付いています。異なる 2 つの加盟都市の間には、商品を直接輸送できる双方向の交易路があります。都市 $i$ から都市 $j$ へ商品を 1 箱直接輸送するための費用は、次のとおりです。

最初の行に整数 $N$ と $C$ が空白区切りで与えられます。

同盟が用意すべき補助金の総額を出力してください。

例 1

入力例

4 1

出力例

14

最初の例では、 $(1,2)$ 、 $(1,3)$ 、 $(1,4)$ 、 $(2, 3)$ 、、の最小輸送費はそれぞれ、、、、、です。したがって、必要な補助金の総額はです。