1..6
int X0 int X1 int X2 int X3 int X4
and(ne(X0,X1),ne(abs(sub(X2,X3)),X4))
V0 V1 V0 V1 1
V0 V2 V0 V2 2
V0 V3 V0 V3 3
V0 V4 V0 V4 4
V0 V5 V0 V5 5
V1 V2 V1 V2 1
V1 V3 V1 V3 2
V1 V4 V1 V4 3
V1 V5 V1 V5 4
V2 V3 V2 V3 1
V2 V4 V2 V4 2
V2 V5 V2 V5 3
V3 V4 V3 V4 1
V3 V5 V3 V5 2
V4 V5 V4 V5 1