#include using namespace std; using ll = long long; int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int A[4][4]; bool D[4][4]; for(int i=0;i<4;i++)for(int j=0;j<4;j++){ cin>>A[i][j]; D[i][j]=0; } vector dx={0,1,0,-1},dy={1,0,-1,0}; for(int k=0;k<16;k++){ for(int i=0;i<4;i++){ for(int j=0;j<4;j++){ if(A[i][j]==0){ for(int d=0;d<4;d++){ int y=dy[d]+i; int x=dx[d]+j; if(min(y,x)<0||max(y,x)>=4)continue; if(D[y][x])continue; if(A[y][x]==i*4+j+1){ swap(A[y][x],A[i][j]); D[i][j]=1; } } } } } } for(int i=0;i<4;i++)for(int j=0;j<4;j++){ if(A[i][j]==0)continue; if(A[i][j]!=i*4+j+1){ cout<<"No"<