XD的爸爸送给XD一块4*4拼图。拼图有15块拼图块，编号从1到15，第16格没有方块。XD每次可以选择空位周围的一块拼图推到空位，相当于和空位交换了。
拼图一开始是这样的(-1代表这里没有拼图块)：
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15 -1
XD非常喜欢这个玩具。但是他不小心将拼图摔到了地上，所有的方块都掉出来了！XD强行将15块拼图塞进拼图板里，但他发现不管怎么移动，都不能复原成原来的形状了。
XD的爸爸送给XD一块4*4拼图。拼图有15块拼图块，编号从1到15，第16格没有方块。XD每次可以选择空位周围的一块拼图推到空位，相当于和空位交换了。
拼图一开始是这样的(-1代表这里没有拼图块)：
1 2 3 4
5 6 7 8
9 10 11 12
13 14 15 -1
XD非常喜欢这个玩具。但是他不小心将拼图摔到了地上，所有的方块都掉出来了！XD强行将15块拼图塞进拼图板里，但他发现不管怎么移动，都不能复原成原来的形状了。
输入有多组数据。
每组数据有4行，每行4个拼图块的编号，范围从1到15。额外的一个编号-1表示是这里没有方块。
如果可以复原成原来的形状，则输出yes，否则输出no。
1 2 3 -1 5 6 7 4 9 10 11 8 13 14 15 12 1 2 3 4 5 6 7 8 9 10 11 12 13 15 14 -1 1 2 3 4 5 6 7 8 9 10 -1 12 13 14 11 15
yes no yes