#include <bits/stdc++.h>
#define syosu(x) fixed<<setprecision(x)
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<int,int> P;
typedef pair<double,double> pdd;
typedef pair<ll,ll> pll;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef vector<double> vd;
typedef vector<vd> vvd;
typedef vector<ll> vl;
typedef vector<vl> vvl;
typedef vector<string> vs;
typedef vector<P> vp;
typedef vector<vp> vvp;
typedef vector<pll> vpll;
typedef pair<int,P> pip;
typedef vector<pip> vip;
const int inf=1<<30;
const ll INF=1ll<<60;
const double pi=acos(-1);
const double eps=1e-9;
const ll mod=1e6+7;
const int dx[4]={0,1,0,-1},dy[4]={1,0,-1,0};

const int M=4;
int a[M][M],b[M][M];

int main(){
	for(int i=0;i<M;i++) for(int j=0;j<M;j++){
		cin>>a[i][j];
		b[i][j]=(i==3&&j==3?0:i*M+j+1);
	}
	while(1){
		bool B=1;
		for(int i=0;i<M;i++) for(int j=0;j<M;j++) if(a[i][j]!=b[i][j]) B=0;
		if(B) break;
		for(int i=0;i<M;i++){
			bool flag=0;
			for(int j=0;j<M;j++) if(!a[i][j]){
				B=0;
				for(int k=0;k<4;k++){
					int x=i+dx[k],y=j+dy[k];
					if(x>=0&&x<M&&y>=0&&y<M&&a[x][y]==b[i][j]){
						swap(a[i][j],a[x][y]);
						B=1;
					}
				}
				if(!B){
					cout<<"No"<<endl;
					return 0;
				}
				flag=1;
				break;
			}
			if(flag) break;
		}
	}
	cout<<"Yes"<<endl;
}