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<REF(V,N),N-1);
T6:=L=LLV(L,N-1) AND V=LLV(V,N-1);
T7:=EVERY(O<REF(C,1),N-1) AND EVERY(O<REF(O,1),N-1);
T8:=EVERY(V<REF(V,1),N);
XG:T2 AND T3 AND T4 AND T5 AND T6 AND T7 AND T8;