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