样例1中，(1, 6), (1, 7), (2, 6), (2, 7)都是神奇的点对，因为它们相互到达一定 会经过3和5。
样例2中，没有点对一定会经过2和3。
样例3中，只有点对(3, 4)一定要经过1和2。

对于第1个到第3个测试点，$1\le n\le 1000$，保证 $n-1=m$ ,保证按 $1$ 到 $n$ 的顺序刚好连成一条直线。
对于第4个到第6个测试点，$1\le n\le 1000$，保证 $n-1=m$,保证刚好是一- 棵树。
对于第7个到第8个测试点，$1\le n\le 5000$, 这个图没有什么特殊性质。
对于所有数据，$1\le n\le 10000,1\le a,b\le n,1\le m\le 20000,a\ne b,u_i\ne v_i$ ,所有的道路均不相同。