T2:=COUNT(C>REF(C,1),4)=4&&V<REF(V,1)&&REF(V,1)<REF(V,2)&&REF(V,2)/REF(V,3)>2;
T3:=COUNT(C>REF(C,1),5)=5&&V<REF(V,1)&&REF(V,1)<REF(V,2)&&REF(V,2)<REF(V,3)&&REF(V,3)=REF(V,4);
T4:=COUNT(C>REF(C,1),4)=4&&COUNT(V<REF(V,1),4)=4;
XG:COUNT(T1=1,20)=1&&COUNT(T2=1,20)=1&&
COUNT(T3=1,20)=1&&COUNT(T4=1,20)=1;