在线编程：次短路长度

在非负权图中求严格大于最短路的次短距离。

输入：第一行n、m、src、dst，随后正权无向边。
输出：输出严格大于最短路的次短距离；不存在为NONE。
约束：1≤n≤100000。

使用 Python 3 从标准输入读取，向标准输出写出唯一规定结果；不得读取文件或网络。

使用 Python 3 标准输入输出；不得使用第三方包。必须覆盖题面边界，不能只针对样例。