#include <iostream>
#include <algorithm>
#include <vector>
#include <string>
#include <cmath>
#include <iomanip>
#include <map>
using namespace std;
typedef long long LL;

void solve(vector<vector<int> >& board, int x, int y){
    int target = x + y*4 + 1;
    if(x > 0 && board[y][x-1] == target){
        swap(board[y][x], board[y][x-1]);
        solve(board, x-1, y);
    }
    if(x < 3 && board[y][x+1] == target){
        swap(board[y][x], board[y][x+1]);
        solve(board, x+1, y);
    }
    if(y > 0 && board[y-1][x] == target){
        swap(board[y][x], board[y-1][x]);
        solve(board, x, y-1);
    }
    if(y < 3 && board[y+1][x] == target){
        swap(board[y][x], board[y+1][x]);
        solve(board, x, y+1);
    }
}

int main(){
    vector<vector<int> > board(4, vector<int>(4));
    for(int y = 0; y < 4; y++){
        for(int x = 0; x < 4; x++){
            cin >> board[y][x];
        }
    }
    for(int y = 0; y < 4; y++){
        for(int x = 0; x < 4; x++){
            if(board[y][x] == 0){
                solve(board, x, y);
                y = 4;
                break;
            }
        }
    }
    bool ans = true;
    for(int y = 0; y < 4; y++){
        for(int x = 0; x < 4; x++){
            int target = 1 + x + y*4;
            if(x == 3 && y == 3) target = 0;
            if(board[y][x] != target) ans = false;
        }
    }
    cout << (ans? "Yes": "No") << endl;
    return 0;
}