1..5 int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,X1) int X0 eq(X0,1) int X0 eq(X0,3) int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,X1) int X0 int X1 eq(X0,add(X1,1)) int X0 int X1 or(eq(X0,sub(X1,1)),eq(X0,add(X1,1))) int X0 int X1 or(eq(X0,sub(X1,1)),eq(X0,add(X1,1))) int X0 int X1 or(eq(X0,sub(X1,1)),eq(X0,add(X1,1))) V10 V1 V11 V15 V12 V5 V13 V22 V14 V24 V7 V20 V0 V23 V9 V18 V6 V2 V0 V4 V17 V8 V19 V6 V14 V3