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

int main(){
    vector<int> position(16);
    int input;
    for(int i=0;i<16;i++){
        cin>>input;
        position[(input+15)%16]=i;
    }
    int temp;
    while(position[15]!=15){
        if((abs(position[position[15]]-position[15])==1 && position[position[15]]/4==position[15]/4)||(abs(position[position[15]]-position[15])==4)){
            temp=position[position[15]];
            position[position[15]]=position[15];
            position[15]=temp;
        }else{
            cout<<"No"<<endl;
            return 0;
        }
    }
    for(int i=0;i<16;i++){
        if(position[i]!=i){
            cout<<"No"<<endl;
            return 0;
        }
    }
    cout<<"Yes"<<endl;
}