T1:={[i,j]->[j,i,0]};
T2:={[i,j]->[j,i,1]};
IS:={[i,j]: 1 <= i,j <= 9};

newIS1 := T1 \ IS;
newIS1;
newIS2 := T2 \ IS;
newIS2;

codegen T1:IS,T2:IS;
codegen 2 T1:IS,T2:IS;