可怜最近在玩一款硬核战争游戏。
可怜控制的国家有 $n$ 座城市,在 $n$ 座城市之间有 $m$ 条双向道路,第 $i$ 条道路连接了城市 $u_i$ 和 $v_i$,且通过这条道路的时间为 $w_i$。
最近,可怜点了名为"传送"的科技,这个科技可以让可怜的士兵能在国家的任意两个城市之间不经过道路快速地传送。这样从战争的角度来说,道路几乎就没有用了,可怜希望能删除一些道路,使得道路系统尽可能地不便,这样在敌人入侵时就能获得优势。
游戏的规则规定在任何时刻,同一个国家的任意两个城市之间都必须要能通过道路到达。因此可怜需要保证在删除道路之后,道路系统仍然是联通的。
令 $d(i,j)$ 为通过道路系统从第 $i$ 个城市到第 $j$ 个系统的最短时间,可怜定义一个道路系统的复杂度为 $\sum_{i=1}^n \sum_{j=i+1}^n d(i,j)$。可怜希望能删除一些道路,在保证图联通的情况下,使道路系统的复杂度尽可能的大。
一行输入两个整数 $n,m(1 \leq n \leq 14, 1 \leq m \leq \frac{n(n-1)}{2})$,表示城市数量与初始的道路数量。
接下来 $m$ 行每行输入三个整数 $u_i,v_i,w_i(1 \leq u_i,v_i \leq n, 1 \leq w_i \leq 10^9)$,描述了一条道路。
输入保证图中没有自环、重边,同时图是联通的。
输出一行一个整数,表示道路系统最大的可能的复杂度。
5 5 1 2 1 1 3 1 2 4 1 2 5 1 1 5 1
20
5 10 1 2 1 1 3 2 1 4 3 1 5 4 2 3 5 2 4 6 2 5 7 3 4 8 3 5 9 4 5 10
146