1 2 3 4 5
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;