1*52a25237STobias Grosser{ A[i,j] -> [2i,0,j]: 0 <= i,j < 10; B[i,j] -> [2i+1,1,j] : 0 <= i,j < 10 } 2*52a25237STobias Grosser{ : } 3*52a25237STobias Grosser{ [i,0,j] -> unroll[2] } 4