#include<bits/stdc++.h>
using namespace std;

int s[4][4]={
    {1,2,3,4},
    {5,6,7,8},
    {9,10,11,12},
    {13,14,15,0}
};
int t[4][4];

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

int main(){
    for(int i=0;i<4;i++){
        for(int j=0;j<4;j++){
            cin>>t[i][j];
        }
    }

    int x=3,y=3;

    while(true){
        bool flag=false;
        for(int d=0;d<4;d++){
            int ty=y+dy[d],tx=x+dx[d];
            if(ty<0||ty>=4||tx<0||tx>=4)continue;
            if(s[ty][tx]==t[y][x]){
                swap(s[y][x],s[ty][tx]);
                y=ty;x=tx;
                flag=true;
                break;
            }
        }

        if(!flag)break;
    }

    for(int i=0;i<4;i++){
        for(int j=0;j<4;j++){
            if(s[i][j]!=t[i][j]){
                cout<<"No"<<endl;
                return 0;
            }
        }
    }

    cout<<"Yes"<<endl;


    return 0;
}