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

int main() {
    int a[4][4];
    for (int i=0;i<4;i++)
        for (int j=0;j<4;j++)
            a[i][j]=4*i+j+1;
    a[3][3]=0;
    int b[4][4];
    for (int i=0;i<4;i++)
        for (int j=0;j<4;j++)
            cin>>b[i][j];
    int dy[]={0,1,0,-1};
    int dx[]={1,0,-1,0};
    int x=3;
    int y=3;
    while (true) {
        bool did=false;
        for (int i=0;i<4;i++) {
            int ny=y+dy[i];
            int nx=x+dx[i];
            if (ny<0||4<=ny||nx<0||4<=nx||a[ny][nx]!=b[y][x]) continue;
            swap(a[y][x],a[ny][nx]);
            y=ny;
            x=nx;
            did=true;
            break;
        }
        if (!did) break;
    }
    for (int i=0;i<4;i++)
        for (int j=0;j<4;j++)
            if (a[i][j]!=b[i][j]) {
                puts("No");
                return 0;
            }
    puts("Yes");
    return 0;
}