AND REF(H,2) REF(H,1) AND REF(L,2) REF(L,1);
V1:= COUNT(V00,6) =3 AND COUNT(V01 OR V02,5)=0 AND LLVBARS(L,6) = 1 AND HHVBARS(H,6) = 5 AND V03;
V2:= COUNT(V00,7) =3 AND COUNT(V01 OR V02,6)=1 AND LLVBARS(L,7) = 2 AND HHVBARS(H,7) = 6 AND V04;
V3:= COUNT(V00,7) =3 AND COUNT(V01 OR V02,6)=1 AND LLVBARS(L,7) = 1 AND HHVBARS(H,7) = 6 AND V03;
V4:= COUNT(V00,8) =3 AND COUNT(V01 OR V02,7) =2 AND LLVBARS(L,8) = 2 AND HHVBARS(H,8) = 7 AND V04;
V5:= COUNT(V00,8) =3 AND COUNT(V01 OR V02,7) =2 AND LLVBARS(L,8) = 1 AND HHVBARS(H,8) = 7 AND V03;
V6:= COUNT(V00,9) =3 AND COUNT(V01 OR V02,8) =3 AND LLVBARS(L,9) = 2 AND HHVBARS(H,9) = 8 AND V04;
V7:= COUNT(V00,9) =3 AND COUNT(V01 OR V02,8) =3 AND LLVBARS(L,9) = 1 AND HHVBARS(H,9) = 8 AND V03;
V8:= COUNT(V00,10) =3 AND COUNT(V01 OR V02,9) =4 AND LLVBARS(L,10) = 2 AND HHVBARS(H,10) = 9 AND V04;
V9:= COUNT(V00,10) =3 AND COUNT(V01 OR V02,9) =4 AND LLVBARS(L,10) = 1 AND HHVBARS(H,10) = 9 AND V03;
V10:= COUNT(V00,11) =3 AND COUNT(V01 OR V02,10) =5 AND LLVBARS(L,11) = 2 AND HHVBARS(H,11) = 10 AND V04;
DFX:=V1 OR V2 OR V3 OR V4 OR V5 OR V6 OR V7 OR V8 OR V9 OR V10 AND C MA5;
XG:DFX AND C MA5;