1 context: '[N, M] -> { : M >= 10 and M <= 1000 and N >= 10 and N <= 1000 }'
3 - context: '[M, N] -> { : N >= 0 and M >= 0 }'
4 extent: '[N, M] -> { in1[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= -1 + N and i1 <=
7 - context: '[N] -> { : N >= 0 }'
8 extent: '[N] -> { in2[i0] : i0 >= 0 and i0 <= -1 + N }'
9 value_bounds: '{ [i0] : i0 >= -1 and i0 <= 1 }'
11 - context: '[N] -> { : N >= 0 }'
12 extent: '[N] -> { A[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= -1 + N and i1 <= 9 }'
14 - context: '[N] -> { : N >= 0 }'
15 extent: '[N] -> { C[i0] : i0 >= 0 and i0 <= -1 + N }'
22 domain: '[N] -> { S_0[i] : i >= 0 and i <= -1 + N }'
23 schedule: '[N] -> { S_0[i] -> [0, i, 0] }'
29 relation: '[N] -> { S_0[i] -> m[] }'
36 relation: '[N] -> { S_0[i] -> [i] }'
40 relation: '[N] -> { S_0[i] -> [1] }'
44 domain: '[M, N] -> { S_1[i, j] : i >= 0 and i <= -1 + N and j >= 0 and j <= -1 +
46 schedule: '[M, N] -> { S_1[i, j] -> [0, i, 1, j] }'
52 relation: '[M, N] -> { S_1[i, j] -> m[] }'
62 relation: '[M, N] -> { S_1[i, j] -> m[] }'
66 relation: '[M, N] -> { S_1[i, j] -> in1[i, j] }'
70 domain: '[N] -> { S_2[i] : i >= 0 and i <= -1 + N }'
71 schedule: '[N] -> { S_2[i] -> [0, i, 2] }'
80 relation: '[N] -> { S_2[i] -> m[] }'
84 relation: '[N] -> { S_2[i] -> A[i, o1] }'
89 schedule: '{ S_3[] -> [1] }'
95 relation: '{ S_3[] -> A[5, 6] }'
99 relation: '{ S_3[] -> [0] }'
103 domain: '[N] -> { S_4[i] : i >= 0 and i <= -3 + N }'
104 schedule: '[N] -> { S_4[i] -> [2, i] }'
110 relation: '[N] -> { S_4[i] -> C[i] }'
117 relation: '[N] -> { [S_4[i] -> [i1]] -> A[1 + i + i1, o1] }'
122 relation: '[N] -> { S_4[i] -> in2[i] }'