T1:=C/REF(C,1) 1.095 AND H=C;
N:=BArslAST(T1);
T2:=N 2 AND N
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;