5 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 100 }'
10 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 100 }'
14 extent: '{ a[i0, i1] : i1 >= 0 and i1 <= 99 and i0 >= 0 and i0 <= 99 }'
20 schedule: '{ S_0[] -> [0] }'
26 relation: '{ S_0[] -> N[] }'
33 schedule: '{ S_1[] -> [1] }'
39 relation: '{ S_1[] -> M[] }'
45 domain: '{ [S_4[i, j] -> [N, M]] : N >= 1 + i and j >= 0 and i >= 0 and M >= 1 +
47 schedule: '{ S_4[i, j] -> [2, i, j] }'
53 relation: '{ S_4[i, j] -> a[i, j] }'
60 relation: '{ S_4[i, j] -> [i] }'
64 relation: '{ S_4[i, j] -> [j] }'
69 relation: '{ S_4[i, j] -> N[] }'
73 relation: '{ S_4[i, j] -> M[] }'
77 domain: '{ [S_7[i, j] -> [N, M]] : N >= 1 + i and j >= 0 and i >= 0 and M >= 1 +
79 schedule: '{ S_7[i, j] -> [3, i, j] }'
85 relation: '{ S_7[i, j] -> [i] }'
89 relation: '{ S_7[i, j] -> [j] }'
93 relation: '{ S_7[i, j] -> a[i, j] }'
98 relation: '{ S_7[i, j] -> N[] }'
102 relation: '{ S_7[i, j] -> M[] }'