背景

关于小方小块小鸟在方块鸟大陆上开展贸易公司的故事，相信你已经知道了。

描述

小方小块小鸟已经顺利的把贸易公司开展起来了，还完成了几次买卖。这天，他们想着要让业务进一步发展。他们研究了在地球上的商贸公司，都会利用「环路」的贸易线路，即把贸易线路安排成一个环，每到一个地方就售卖在别的地方购买的特产，把货仓腾空，又购入当地的特产品。这样沿着环路不停的在原产地低价买入商品，在其他地方售出，就能保持高效的商品流转。比如：

从 A 地买入可可洛库皮 到 B 地卖出，并买入伊布斯多叶 到 C 地卖出，并买入迪拉果实 在到 A 地卖出，...

请注意，

1. 只在两个地点来回的贸易效率太低了，不能算作环路；
2. 方块鸟大陆的商路还在初步建设阶段，是一个简单图，不存在自环和重边。

现在给你N个区域，M条商路，请检测其中是否含有环路，如果有，输出Yes，否则输出No

输入输出格式

输入

第一行为两个以空格隔开的正整数$N$、$M$，表示区域数量和计划的安全商路数量。 ( $1 ≤ M < N ≤ 10,000$)

随后$M$行，每行三个以空格分割的正整数 $x , y$， 表示 x 区域和 y 区域之间有一条安全商路。

输出

样例

4 3
1 3 
1 2
1 4

No

4 3
2 3 
1 2
3 1

Yes