set s1 := 0 1 5 6 ;
set s2 := 3 4 8 9 ;

subject to sym1{i in 0..3 , j in 0..3 : i=j } : x[0,s1[i],0] = x[1,s1[j],0];