#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    std::vector<lint>a(16);
    for(lint i=0;i<16;i++){
        lint x;std::cin>>x;
        a.at(i)=x?x-1:15;
    }
    while(!std::is_sorted(a.begin(),a.end())){
        lint i=std::find(a.begin(),a.end(),15)-a.begin();
        lint j=std::find(a.begin(),a.end(),i)-a.begin();
        if(std::abs(i-j)==4||std::abs(i-j)==1&&i/4==j/4){
            std::swap(a.at(i),a.at(j));
        }else{
            std::cout<<"No"<<'\n';
            return 0;
        }
    }
    std::cout<<"Yes"<<'\n';
}