#include using namespace std; typedef long long int ll; int a[4][4]={{1,2,3,4},{5,6,7,8},{9,10,11,12},{13,14,15,0}}; int b[4][4]; int c[4][4]; int dx[]={1,-1,0,0}; int dy[]={0,0,1,-1}; int main(){ cin.tie(nullptr); ios::sync_with_stdio(false); for(int i=0;i<4;i++){ for(int j=0;j<4;j++){ cin >> b[i][j]; c[i][j]=0; } } int zx=3,zy=3; while(1){ bool f=false; for(int i=0;i<4;i++){ int nx=zx+dx[i],ny=zy+dy[i]; if(0<=nx and nx<4 and 0<=ny and ny<4){ if(c[nx][ny])continue; if(a[nx][ny]==b[zx][zy]){ swap(a[nx][ny],a[zx][zy]); zx=nx; zy=ny; f=true; c[nx][ny]=true; } } } if(!f)break; } bool ok=true; for(int i=0;i<4;i++){ for(int j=0;j<4;j++){ if(a[i][j]!=b[i][j])ok=false; } cout << endl; } if(ok)printf("Yes\n"); else printf("No\n"); }