配点:

問題文


次の条件を満たす, 頂点 辺の単純無向グラフを考えます:

  • 頂点 と頂点 とを結ぶ最短パスの長さが である.

このようなグラフを構築することは可能ですか? 判定してください.

制約


  • 入力はすべて整数

入力


各テストケースの入力は,それぞれ以下の形式で与えられる:


出力


条件を満たすようなグラフが存在するならば Yes,そうでなければ No と出力せよ.

サンプル


入力例1
1
5 5
0 3 1 2 2
出力例1
Yes

たとえば,頂点対 をそれぞれ結ぶ 本の辺を張ることで条件が満たされます.


入力例2
3
6 5
0 2 1 1 2 2
4 4
0 3 2 2
5 6
0 1 2 2 2
出力例2
Yes
No
Yes

提出


Go (1.14)