#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#define popcount __builtin_popcount
using namespace std;
typedef long long int ll;
typedef pair<int, int> P;
int dx[4]={1, 0, -1, 0}, dy[4]={0, 1, 0, -1};
bool check(int x, int y){
    if(x<0 || x>=4 || y<0 || y>=4) return false;
    else return true;
}
int a[4][4], b[4][4];
int main()
{
    for(int i=0; i<4; i++) for(int j=0; j<4; j++) b[i][j]=1+i*4+j;
    for(int i=0; i<4; i++) for(int j=0; j<4; j++) cin>>a[i][j];
    b[3][3]=0;
    while(1){
        bool ok=1;
        int zx, zy;
        for(int i=0; i<4; i++){
            for(int j=0; j<4; j++){
                if(a[i][j]!=b[i][j]) ok=0;
                if(b[i][j]==0) zx=i, zy=j;
            }
        }
        if(ok){
            cout<<"Yes"<<endl;
            return 0;
        }
        ok=0;
        for(int k=0; k<4; k++){
            int x1=zx+dx[k], y1=zy+dy[k];
            if(!check(x1, y1)) continue;
            if(a[zx][zy]==b[x1][y1]){
                swap(b[x1][y1], b[zx][zy]);
                ok=1;
                break;
            }
        }
        if(!ok){
            cout<<"No"<<endl;
            return 0;
        }
    }
    return 0;
}