#include<iostream>
#include<string>
#include<vector>
#include<set>
using namespace std;

set<string> sum;

int main(){
  int a[6][6]={},pos;
  for(int i=0;i<6;i++){
    for(int j=0;j<6;j++){
        a[i][j]=-1000;   
    }
  }
  for(int i=0;i<4;i++){
    for(int j=0;j<4;j++){
        cin >> a[1+i][1+j];
        if(!a[i+1][j+1])pos=j+1+(i+1)*6;
    }
  }
  int dir[]={1,-1,-6,6};
  while(pos!=28){
      int before=pos;
      for(int i=0;i<4;i++){
          if(a[ (pos+dir[i])/6 ][ (pos+dir[i])%6 ] == (pos%6)+(pos/6-1)*4){
              swap(a[ (pos+dir[i])/6 ][ (pos+dir[i])%6 ],a[pos/6][pos%6]);
              pos+=dir[i];
          }
      }
      if(before==pos){
        break;  
      }
  }
  for(int i=0;i<4;i++){
    for(int j=0;j<4;j++){
        if(a[i+1][j+1]!=(j+1+i*4)%16){
            cout<<"No"<<endl;
            return 0;
        }
    }
  }
  cout<<"Yes"<<endl;
    return 0;
}