# include <iostream>
# include <stdio.h>
# include <string.h>
# include <algorithm>
const int M= 1005;
const int MAX= 100005;
const long long int MOD=1000000007;
using namespace std;
int pre[MAX];
int vis[MAX];
int ans,cnt;
void ff(int n)
{
    for(int i=0; i<MAX; i++)
    {
        pre[i]=i;
        vis[i]=0;
    }
    return ;
}

int findi(int x)
{
    int r=x;
    while(r!=pre[r])
        r=pre[r];
    
    int i=x,j;  //路径压缩
    while(i!=j)
    {
        j=pre[i];
        pre[i]=r;
        i=j;
    }
    
    return r;
}

int join(int x,int y)
{
    int fx=findi(x),fy=findi(y);
    if(fx!=fy)
        pre[fx]=fy;
    else ans=0; //.在连接两个点的时候 如果这两个点的父节点相同 那 再进行连接这两个点的操作 就会产生回路.
}

int main()
{
    int f=0;
    while(true)
    {
        int i,mini=0x1f1f1f,maxi=-0x1f1f1f,a,b;
        memset(vis,0,sizeof(vis));
        ff(i);
        ans=1,cnt=0;
        for(i=0; i<MAX; i++)
        {
            scanf("%d%d",&a,&b);
            if(a==0&&b==0)break;
            if(a==-1&&b==-1)
            {
                f=1;
                break;
            }
            mini=min(mini,min(a,b));
            maxi=max(maxi,max(a,b));
            join(a,b);
            vis[a]=vis[b]=1;
        }
        if(f==1)
            break;
        if(ans)
        for(i=mini; i<=maxi; i++)   //看图是否连通
        {
            if(pre[i]==i && vis[i])
                cnt++;
            if(cnt>1)       //连通图中只有根节点的父节点是自身，cnt应该是1
            {
                ans=0;
                break;
            }
        }
        if(ans) printf("Yes\n");
        else printf("No\n");
    }
    return 0;
}