1..12 int X0 int X1 int X2 and(ne(X0,X1),ne(abs(sub(X0,X1)),X2)) V0 V1 1 V0 V2 2 V0 V3 3 V0 V4 4 V0 V5 5 V0 V6 6 V0 V7 7 V0 V8 8 V0 V9 9 V0 V10 10 V0 V11 11 V1 V2 1 V1 V3 2 V1 V4 3 V1 V5 4 V1 V6 5 V1 V7 6 V1 V8 7 V1 V9 8 V1 V10 9 V1 V11 10 V2 V3 1 V2 V4 2 V2 V5 3 V2 V6 4 V2 V7 5 V2 V8 6 V2 V9 7 V2 V10 8 V2 V11 9 V3 V4 1 V3 V5 2 V3 V6 3 V3 V7 4 V3 V8 5 V3 V9 6 V3 V10 7 V3 V11 8 V4 V5 1 V4 V6 2 V4 V7 3 V4 V8 4 V4 V9 5 V4 V10 6 V4 V11 7 V5 V6 1 V5 V7 2 V5 V8 3 V5 V9 4 V5 V10 5 V5 V11 6 V6 V7 1 V6 V8 2 V6 V9 3 V6 V10 4 V6 V11 5 V7 V8 1 V7 V9 2 V7 V10 3 V7 V11 4 V8 V9 1 V8 V10 2 V8 V11 3 V9 V10 1 V9 V11 2 V10 V11 1