#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(x?x-1:15)=i;
    }
    while(!std::is_sorted(a.begin(),a.end())){
        lint i=a.at(15),j=a.at(i);
        if(!(std::abs(i-j)==4||std::abs(i-j)==1&&i/4==j/4)){
            std::cout<<"No"<<'\n';
            return 0;
        }
        std::swap(a.at(15),a.at(i));
    }
    std::cout<<"Yes"<<'\n';
}