// Enjoy your stay.

#include <bits/stdc++.h>

#define long long long
#define LOOPVAR_TYPE long

#define all(x) (x).begin(), (x).end()
#define sz(x) ((LOOPVAR_TYPE)(x).size())
#define foreach(it, X) for(__typeof((X).begin()) it = (X).begin(); it != (X).end(); it++)
#define GET_MACRO(_1, _2, _3, NAME, ...) NAME
#define _rep(i, n) _rep2(i, 0, n)
#define _rep2(i, a, b) for(LOOPVAR_TYPE i = (LOOPVAR_TYPE)(a); i < (LOOPVAR_TYPE)(b); i++)
#define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__)

#define fir first
#define sec second
#define mp make_pair
#define mt make_tuple
#define pb push_back

const double EPS = 1e-9;
const double PI = acos(-1.0);
const long INF = 1070000000LL;
const long MOD = 1000000007LL;

using namespace std;

typedef istringstream iss;
typedef stringstream sst;
typedef pair<LOOPVAR_TYPE, LOOPVAR_TYPE> pi;
typedef vector<LOOPVAR_TYPE> vi;

int a[6][6];

int dy[] = {0,1,0,-1};
int dx[] = {1,0,-1,0};

int main(){
	cin.tie(NULL);
	ios_base::sync_with_stdio(false);
	
	memset(a,-1,sizeof(a));
	rep(i,1,5)rep(j,1,5){
		cin>>a[i][j];
	}
	while(1){
		int zy = -1, zx = -1;
		rep(i,1,5)rep(j,1,5)if(a[i][j] == 0){
			zy = i, zx = j;
		}
		int num = ((zy-1) * 4 + (zx-1) + 1) % 16;
		if(num == 0) break;
		int done = 0;
		rep(d,4){
			int ny = zy + dy[d], nx = zx + dx[d];
			if(a[ny][nx] == num){
				swap(a[ny][nx], a[zy][zx]);
				done = 1;
				break;
			}
		}
		if(!done){
			cout<<"No"<<endl;
			return 0;
		}
	}
	rep(i,1,5)rep(j,1,5){
		if(a[i][j] != ((i-1)*4+j-1 + 1)%16){
			cout<<"No"<<endl;
			return 0;
		}
	}
	cout<<"Yes"<<endl;
}