T1:=C/REF(C,1)>1.095 AND H=C; N:=BArslAST(T1); T2:=N>2 AND N<7; T3:=COUNT(T1,N+1)=1; T4:=EVERY(L>REF(O,N),N-1); T5:=EVERY(V T6:=L=LLV(L,N-1) AND V=LLV(V,N-1); T7:=EVERY(O T8:=EVERY(V XG:T2 AND T3 AND T4 AND T5 AND T6 AND T7 AND T8;