6 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
11 domain: '{ S_0[i, j] : (i >= 0 and i <= 99 and j >= 0 and j <= 99 and j <= i and
12 j <= 150 - i) or (i >= 0 and i <= 9 and j >= 0 and j <= 99 and j >= 1 + i and
13 j <= 150 - i) or (i >= 0 and i <= 89 and j >= 151 - i and j <= 99 and j <= i)
15 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
21 relation: '{ S_0[i, j] -> a[i] }'
25 relation: '{ S_0[i, j] -> [0] }'
29 domain: '{ S_1[i, j] : i >= 10 and i <= 99 and j >= 0 and j <= 60 and j <= -1 +
31 schedule: '{ S_1[i, j] -> [0, i, j, 5] }'
37 relation: '{ S_1[i, j] -> a[i] }'
44 relation: '{ S_1[i, j] -> [i] }'
48 relation: '{ S_1[i, j] -> [j] }'