#include <bits/stdc++.h>
using namespace std;
#define reep(i,a,b) for(int i=(a);i<(b);i++)
#define rep(i,n) reep((i),0,(n))
bool check(int a,int b){
	if(0<=a&&a<4&&0<=b&&b<4) return true;
	return false;
}
int main(){
	vector<vector<int>> vv(4,vector<int>(4));
	rep(i,4){
		rep(j,4){
			vv[i][j]=i*4+j+1;
		}
	}
	vv[3][3]=0;
	vector<vector<int>> ww=vv;
	rep(i,4){
		rep(j,4){
			cin>>ww[i][j];
		}
	}
	bool ok=true;
	int x=3;
	int y=3;
	int dd[]={1,0,-1,0,1};
	// int cnt=0;
	while(ok){
		// cout<<x<<" "<<y<<endl;
		if(ww[x][y]==vv[x][y]) break;
		rep(i,4){
			int xx=x+dd[i];
			int yy=y+dd[i+1];
			if(check(xx,yy)&&vv[xx][yy]==ww[x][y]){
				swap(vv[x][y],vv[xx][yy]);
				x=xx;
				y=yy;
				// cout<<x<<" "<<y<<" "<<xx<<" "<<yy<<endl;
				break;
			}
			if(i==3) ok=false;
		}
		// if(++cnt==100) break;
	}
	rep(i,4){
		rep(j,4){
			if(ww[i][j]!=vv[i][j]) ok=false;
		}
	}
	if(ok){
		cout<<"Yes"<<endl;
	}
	else{
		cout<<"No"<<endl;
	}
}