T1:=count(v>ref(v,1)*2 ,4)=1;
t2:=count(v<ref(v,1) and l>min(l,4) and l>ref(l,1),3)=3 ;
t3:t1 and t2;