DX1:=REF(HHV(H,40),1)<L AND REF(HHV(H,40),1)<REF(L,41);
DX2:=REF(HHV(H,39),1)<L AND REF(HHV(H,39),1)<REF(L,40);
DX3:=REF(HHV(H,38),1)<L AND REF(HHV(H,38),1)<REF(L,39);
DX4:=REF(HHV(H,37),1)<L AND REF(HHV(H,37),1)<REF(L,38);
DX5:=REF(HHV(H,36),1)<L AND REF(HHV(H,36),1)<REF(L,37);
DX6:=REF(HHV(H,35),1)<L AND REF(HHV(H,35),1)<REF(L,36);
DX7:=REF(HHV(H,34),1)<L AND REF(HHV(H,34),1)<REF(L,35);
DX8:=REF(HHV(H,33),1)<L AND REF(HHV(H,33),1)<REF(L,34);
DX9:=REF(HHV(H,32),1)<L AND REF(HHV(H,32),1)<REF(L,33);
DX10:=REF(HHV(H,31),1)<L AND REF(HHV(H,31),1)<REF(L,32);
DX11:=REF(HHV(H,30),1)<L AND REF(HHV(H,30),1)<REF(L,31);
DX12:=REF(HHV(H,29),1)<L AND REF(HHV(H,29),1)<REF(L,30);
DX13:=REF(HHV(H,28),1)<L AND REF(HHV(H,28),1)<REF(L,29);
DX14:=REF(HHV(H,27),1)<L AND REF(HHV(H,27),1)<REF(L,28);
DX15:=REF(HHV(H,26),1)<L AND REF(HHV(H,26),1)<REF(L,27);
DX16:=REF(HHV(H,25),1)<L AND REF(HHV(H,25),1)<REF(L,26);
DX17:=REF(HHV(H,24),1)<L AND REF(HHV(H,24),1)<REF(L,25);
DX18:=REF(HHV(H,23),1)<L AND REF(HHV(H,23),1)<REF(L,24);
DX19:=REF(HHV(H,22),1)<L AND REF(HHV(H,22),1)<REF(L,23);
DX20:=REF(HHV(H,21),1)<L AND REF(HHV(H,21),1)<REF(L,22);
岛型反转:(DX1 OR DX2 OR DX3 OR DX4 OR DX5 OR DX6 OR DX7 OR DX8 OR DX9 OR DX10 OR DX11 OR DX12 OR DX13 OR DX14 OR DX15 OR DX16 OR DX17 OR DX18 OR DX19 OR DX20);
