#include <iostream>
#include <cstdio>
#include <vector>
#include <cmath>
#include <cstring>
#include <numeric>
#include <algorithm>
#include <functional>
#include <fstream>
#include <array>
#include <map>
#include <queue>
#include <time.h>
#include <limits.h>
#include <set>
#include <stack>
#include <random>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#define rep(i,s,n) for(int i = (s); (n) > i; i++)
#define REP(i,n) rep(i,0,n)
#define RANGE(x,a,b) (min(a,b) <= (x) && (x) <= max(a,b)) //hei
#define DUPLE(a,b,c,d) (RANGE(a,c,d) || RANGE(b,c,d) || RANGE(c,a,b) || RANGE(d,a,b))
#define INCLU(a,b,c,d) (RANGE(a,c,d) && (b,c,d))
#define PW(x) ((x)*(x))
#define ALL(x) (x).begin(), (x).end()
#define RALL(x) (x).rbegin(), (x).rend()
#define MODU 1000000007LL
#define bitcheck(a,b)   ((a >> b) & 1)
#define bitset(a,b)      ( a |= (1 << b))
#define bitunset(a,b)    (a &= ~(1 << b))
#define MP(a,b) make_pair((a),(b))
#define Manh(a,b) (abs((a).first-(b).first) + abs((a).second - ((b).second))
#define pritnf printf
#define scnaf scanf
#define itn int
#define PI 3.141592653589
 
 
#define izryt bool
using namespace std;
typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
template<typename A, size_t N, typename T>
void Fill(A(&array)[N], const T & val) {
	std::fill((T*)array, (T*)(array + N), val);
}
 
//[a, b)
#define Getsum(ar, a,b) (ar[b] - ar[a])
#define INF 10000000000000000LL
#define chmax(a,b) a = max(a,b)
#define chmin(a,b) a = min(a,b)
 
struct Edge {
	int from, to;
	ll w;
	bool operator<(const Edge& rhs) const {
		return MP(w, MP(from, to)) < MP(rhs.w, MP(rhs.from, rhs.to));
	}
 
};
typedef vector<vector<Edge>> Graph;
typedef unsigned long long ull;

void end(){
    cout << "No" << endl;
    exit(0);
}

#define IKI 1000
int main(){
    int n;
    cin >> n;
    vector<int> p(n * 2);
    REP(i,n){
        int a,b;
        cin >> a >> b;
        a--,b--;
        if(a != -2){
            if(p[a]) end();
            p[a] = i+1;
        }
        if(b != -2){
            if(p[b]) end();
            p[b] = -i-1;
        }
        if(a != -2 && b != -2){
            p[a] += IKI;
            p[b] -= IKI;
        }
    }

    bool dp[201][201] = {};
    rep(len,1,n + 1){
        REP(st, n*2){
            int en = st + len * 2;
            if (en > n*2) continue;

            rep(i, 1, len){
                dp[st][en] |= dp[st][st + i*2] & dp[st + i*2][en];
            }

            bool ok = true;
            REP(i,len){
                if(p[st + i] < 0 || p[st + i + len] > 0) ok = false;
                else if(p[st + i] == 0){
                    if(abs(p[st + i + len])>IKI) ok = false;
                }
                else if(p[st + i] > IKI){
                    if(p[st + i + len] != -p[st + i]) ok =false;
                }
                else {
                    if(p[st + i + len] != 0) ok =false;
                }
            }
            dp[st][en] |= ok;
        }
    }

    cout << (dp[0][n * 2] ? "Yes" : "No") << endl;
}
#include <bits/stdc++.h>
using namespace std;
#include <math.h>
#include <iomanip>
#include <cstdint>
template<class T> inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; }
template<class T> inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; }

const int INF=1001001001;
const int mod = 1000000007;
 
int main() {
  int N;
  cin>>N;
  vector<int>type(2*N);//iが誰かの　始点=1 終点=-1 なんでもいい=0　になっているか
  vector<vector<int>>p(2*N,vector<int>(2*N));//A,Bを ペアにしていい={1,0} ダメ=-1
  vector<int>xs,ps;
  for(int i=0;i<N;i++){
    int a,b;
    cin>>a>>b;
    if(a!=-1){
       a--;
       if(type[a]!=0){cout<<"No"<<endl;return 0;}
       type[a]=1;
       xs.push_back(a);
    }
    if(b!=-1){
       b--;
       if(type[b]!=0){cout<<"No"<<endl;return 0;}
       type[b]=-1;
       xs.push_back(b);
    }
    if(a!=-1&&b!=-1){p[a][b]=1;ps.push_back(a);ps.push_back(b);}
  }
  for(int a:xs){//xs:-1ではない物なのでそれ同士は(元からペアになっているものを除いて）ペアにならない。
    for(int b:xs){
        if(p[a][b]!=1){p[a][b]=-1;} 
    }
  }
  for(int a:ps){//ps:元からペアになっているものの片方。元からペアのものがある場合は、その相手以外はペアにできないようにする。
    for(int i=0;i<2*N;i++){
       if(!p[a][i]){p[a][i]=-1;}
       if(!p[i][a]){p[i][a]=-1;}
    }
  }
  vector<bool>dp(2*N+1,false);
  dp[0]=true;
  for(int i=0;i<2*N;i+=2){//区間の左側を0~2N-2まで試す。奇数だと以前の区間にペアにできないマスがあるので偶数。
    if(!dp[i]){continue;}
    for(int j=1;j<=N;j++){//ある区間の中の人数をN人まで試す。これで区間が定まる(2j人分の空きマスが必要なので)。
      int id=i+j*2;//len:区間の終わりのid。
      if(id>2*N){break;}
      bool ok=true;
      for(int l=i;l<i+j;l++){//l:区間の中のA（入ってくる方）のid（始点）。0インデックスなので<。
        int r=l+j;//r:区間の中のB(出ていく方)のid（終点）
        if(type[l]==-1){ok=false;}//始点を当てはめるとき終点がすでに書き込まれている場合は駄目
        if(type[r]==1){ok=false;}//終点を当てはめるとき始点がすでに書き込まれている場合は駄目
        if(p[l][r]==-1){ok=false;}//ペアにしてはいけない場合。
      }
      if(ok){dp[id]=true;}
    }
  }
  if(dp[2*N]){cout<<"Yes"<<endl;}
  else{cout<<"No"<<endl;}
  return 0;
}//お試し