1 context: '[N] -> { : N >= 0 }'
3 - context: '[N] -> { : N >= 0 }'
4 extent: '[N] -> { a[i0, i1] : i0 >= 0 and i1 >= 0 and i1 <= -1 + N }'
11 domain: '[N] -> { S_0[i, j] : i >= 0 and i <= -1 + N and j >= i and j <= -1 + N
13 schedule: '[N] -> { S_0[i, j] -> [0, i, j, 0] }'
19 relation: '[N] -> { S_0[i, j] -> ind[] }'
28 relation: '[N] -> { S_0[i, j] -> [i] }'
32 relation: '[N] -> { S_0[i, j] -> [0] }'
39 relation: '[N] -> { S_0[i, j] -> [i] }'
43 relation: '[N] -> { S_0[i, j] -> [1] }'
47 relation: '[N] -> { S_0[i, j] -> [i] }'
51 domain: '[N] -> { S_1[i, j] : i >= 0 and i <= -1 + N and j >= i and j <= -1 + N
53 schedule: '[N] -> { S_1[i, j] -> [0, i, j, 1] }'
59 relation: '[N] -> { S_1[i, j] -> a[i, j] }'
63 relation: '[N] -> { S_1[i, j] -> a[i, 0] : i <= 0; S_1[i, j] -> a[-1 + i, 0]