#define _CRT_SECURE_NO_WARNINGS
//#define _GLIBCXX_DEBUG
#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
//#define int ll
//#define endl "\n"
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,int> pii;
#define all(c) (c).begin(), (c).end()
#define loop(i,a,b) for(ll i=a; i<ll(b); i++)
#define rep(i,b) loop(i,0,b)
#define pb push_back
#define eb emplace_back
#define mp make_pair
#define mt make_tuple
template<class T> ostream & operator<<(ostream & os, vector<T> const &);
template<int n, class...T> typename enable_if<(n>=sizeof...(T))>::type _ot(ostream &, tuple<T...> const &){}
template<int n, class...T> typename enable_if<(n< sizeof...(T))>::type _ot(ostream & os, tuple<T...> const & t){ os << (n==0?"":" ") << get<n>(t); _ot<n+1>(os, t); }
template<class...T> ostream & operator<<(ostream & os, tuple<T...> const & t){ _ot<0>(os, t); return os; }
template<class T, class U> ostream & operator<<(ostream & os, pair<T,U> const & p){ return os << "(" << p.first << ", " << p.second << ") "; }
template<class T> ostream & operator<<(ostream & os, vector<T> const & v){ rep(i,v.size()) os << v[i] << (i+1==(int)v.size()?"":" "); return os; }
template<class T> inline bool chmax(T & x, T const & y){ return x<y ? x=y,true : false; }
template<class T> inline bool chmin(T & x, T const & y){ return x>y ? x=y,true : false; }
#ifdef DEBUG
#define dump(...) (cerr<<#__VA_ARGS__<<" = "<<mt(__VA_ARGS__)<<" ["<<__LINE__<<"]"<<endl)
#else
#define dump(...)
#endif
// ll const mod = 1000000007;
// ll const inf = 1LL<<60;

signed main(){
    int T;
#ifdef LOCAL
    T = 3;
#else
    T = 1;
#endif
    rep(i,T){
        int g[4][4];
        int sj = -1, si = -1;
        rep(i,4)rep(j,4){
            cin >> g[i][j];
            if(g[i][j]==0) sj = j, si = i;
        }
        int di[] = {0,1,0,-1};
        int dj[] = {1,0,-1,0};
        while(1){
            bool ok = false;
            rep(d,4){
                int ni = si+di[d];
                int nj = sj+dj[d];
                if(ni < 0 || nj < 0 || ni >= 4 || nj >= 4) continue;
                int a = g[ni][nj];
                if(a == si*4+sj+1){
                    swap(g[si][sj],g[ni][nj]);
                    si = ni, sj = nj;
                    ok = true;
                    break;
                }
            }

            // rep(i,4){
            //     rep(j,4){
            //         cout << g[i][j] << " ";
            //     }
            //     cout << endl;
            // }

            if(ok) continue;
            else break;
        }
        bool ok = true;
        rep(i,4)rep(j,4){
            ok &= g[i][j] == i*4 + j+1 || (i==3 && j==3);
        }
        puts(ok ? "Yes" : "No");
    }
}