#include<algorithm>
#include<complex>
#include<ctype.h>
#include<iomanip>
#include<iostream>
#include<fstream>
#include<map>
#include<math.h>
#include<numeric>
#include<queue>
#include<set>
#include<stack>
#include<stdio.h>
#include<string>
#include<string>
#include<vector>

using namespace std;
typedef long long ll;

#define FOR(i,a,b) for(ll i=(a);i<(b);++i)
#define ALL(v) (v).begin(), (v).end()
#define p(s) cout<<(s)<<endl
#define p2(s, t) cout << (s) << " " << (t) << endl
#define br() p("")
#define pn(s) cout << (#s) << " " << (s) << endl
#define p_yes() p("Yes")
#define p_no() p("No")

const ll mod = 1e9 + 7;
const ll inf = 1e18;

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

template < typename T >
void vprint(T &V){
	for(auto v : V){
    	cout << v << " ";
	}
	cout << endl;
}

ll A[4][4];

// そこにあるべき数字
ll calc_number(ll i, ll j){
    ll ret = 4 * i + j + 1;
    if(i==3 && j==3){
        ret = 0;
    }
    return ret;
}

int main(){
    cin.tie(0);
    ios::sync_with_stdio(false);

    // input
    FOR(i, 0, 4){
        cin >> A[i][0];
        cin >> A[i][1];
        cin >> A[i][2];
        cin >> A[i][3];
    }

    ll empty_i;
    ll empty_j;

    FOR(i, 0, 4){
        FOR(j, 0, 4){
            if(A[i][j]==0){
                empty_i = i;
                empty_j = j;
            }
        }
    }

    while(true){

        bool found = false;

        // 上下左右を見る
        FOR(i, 0, 4){
            // 空白部分にあるべき数字
            ll number = calc_number(empty_i, empty_j);

            ll next_i = empty_i + dy[i];
            ll next_j = empty_j + dx[i];
            
            if(0<=next_i && next_i < 4 && 0<=next_j && next_j < 4 && A[next_i][next_j]==number){
                swap(A[empty_i][empty_j], A[next_i][next_j]);
                empty_i = next_i;
                empty_j = next_j;
                found = true;
            }
        }

        // 4方向見ても見つからなかった
        if(!found){
            goto HERE;
        }
    }

    HERE:

    // last check
    FOR(i, 0, 4){
        FOR(j, 0, 4){
            if(A[i][j]!=calc_number(i, j)){
                p_no();
                return 0;
            }
        }
    }

    p_yes();
    return 0;
}