cr1:=C/O>REF(C,1)/REF(O,1) AND REF(C,1)/REF(O,1)>REF(C,2)/REF(O,2);
CR2:=COUNT(C>O,3)=3;
CR3:=O>REF(O,1) AND REF(O,1)>REF(O,2);
cr4:=v>ref(v,1) and ref(v,1)>ref(v,2);
cr5:=o<=ref(c,1) and ref(o,1)<=ref(c,2);
趁热:FILTER(cr1 and cr2 and cr3 and cr4 and cr5,5);