TJ:=COUNT(C>O,6)>4;A:=EVERY(C<O,2);A1:=O<REF(C,1) AND C>REF((O-C)/2+C,1) AND L=LLV(L,3);A2:=EVERY(C<O,2);XG:A2 AND REF(A1,2) AND REF(A,3) AND REF(TJ,5);