F(C<200AND((((AVX>=1)AND(REF(AVX,1)>0))AND(V1<V2))AND(DSLX>=DSLX1)),1,0));T11:=CONST(IF(C<200AND((((AVX>=1)AND(REF(AVX,1)>0))AND(V1>=V2))AND(DSLX<DSLX1)),1,0));T12:=CONST(IF(C<200AND((((AVX>=1)AND(REF(AVX,1)>0))AND(V1<V2))AND(DSLX<DSLX1)),1,0));T13:=CONST(IF(C<200AND((((AVX<1)AND(REF(AVX,1)<0))AND(V1>=V2))AND(DSLX>=DSLX1)),1,0));T14:=CONST(IF(C<200AND((((AVX<1)AND(REF(AVX,1)<0))AND(V1<V2))AND(DSLX>=DSLX1)),1,0));T15:=CONST(IF(C<200AND((((AVX<1)AND(REF(AVX,1)<0))AND(V1>=V2))AND(DSLX<DSLX1)),1,0));T16:=CONST(IF(C<200AND((((AVX<1)AND(REF(AVX,1)<0))AND(V1<V2))AND(DSLX<DSLX1)),1,0));T17:=CONST(IF(C>200AND(CROSS(AVX,1)AND(V1>=V2)),1,0));T18:=CONST(IF(C>200AND(CROSS(AVX,1)AND(V1>=V2)),1,0));T19:=CONST(IF(C>200AND(CROSS(AVX,1)AND(V1<V2)),1,0));T20:=CONST(IF(C>200AND(CROSS(1,AVX)AND(V1>=V2)),1,0));