/*
   hdu1272并查集入门题目
   题目大意：构造一个图，你来判断构造的图是否满足小希的要求
   思路：用并查集，首先是是否连通的判断,可以采用对于无向连通图
   顶点数==边数+1来进行判断，也可以用并查集，因为整个图如果是连通的
   那么最后所有点肯定是有一个相同的根节点
*/
#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>
using namespace std;
const int M = 100005;
int a,b;
int father[M];       //记录父节点
bool circle;         //判断是否存在环
bool visit[M];       //用来记录顶点数
int edgenum,vnum;    //分别表示边数，顶点数
void initial()//完成初始化
{
     for( int i=0 ; i<M ; i++ )
          father[i] = i,visit[i]=false;
     circle = false;
     edgenum = vnum = 0;
}

int find(  int x )
{
    return x == father[x] ? x : father[x] = find(father[x]);     //找祖先节点 + 路径压缩
}

void merge( int a ,int b )
{
     if( a == b )
         circle = true;//自身成环,算是剪枝
     int x , y;
     x = find(a);//寻找祖先节点
     y = find(b);
     if( x != y ){
         father[x] = y;
         edgenum++;       //引出一条边
     }
     else
         circle = true;   //x==y，说明他们是同一个祖先，一旦连通便与祖先3者成环
}

int main()
{
    while( true ){
           initial( );
           scanf("%d%d",&a,&b);
           if( a==0 && b==0 ){     //为空树，符合题目要求，输出yes
               printf("Yes\n");
               continue;
           }
           if( a==-1 && b==-1 )
               break;
           visit[a] = true;//标记a点和b点
           visit[b] = true;
           merge( a,b );
           while( true ){
                  scanf("%d%d",&a,&b);
                  if( a==0 && b==0 )
                      break;
                  visit[a] = true;
                  visit[b] = true;
                  merge( a , b );
           }
           for( int i=0 ; i<M ; i++ )
                if( visit[i] )//统计顶点数目
                    vnum++;
           if( vnum==edgenum+1&&!circle )
               printf("Yes\n");
           else
               printf("No\n");
    }
    return 0;
}