1 context: '[N, M] -> { : N >= 0 and M >= 0 and N <= 2147483647 and M <= 2147483647
4 - context: '[M, N] -> { : N >= 0 and M >= 0 }'
5 extent: '[N, M] -> { in1[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= -1 + N and i1 <=
8 - context: '[N] -> { : N >= 0 }'
9 extent: '[N] -> { in2[i0] : i0 >= 0 and i0 <= -1 + N }'
10 value_bounds: '{ [i0] : i0 >= -1 and i0 <= 1 }'
12 - context: '[N] -> { : N >= 0 }'
13 extent: '[N] -> { A[i0, i1] : i0 >= 0 and i1 >= 0 and i0 <= -1 + N and i1 <= 9 }'
15 - context: '[N] -> { : N >= 0 }'
16 extent: '[N] -> { C[i0] : i0 >= 0 and i0 <= -1 + N }'
23 domain: '[N, M] -> { S_0[i] : i >= 0 and i <= -1 + N }'
24 schedule: '[N] -> { S_0[i] -> [0, i, 0] }'
30 relation: '[N, M] -> { S_0[i] -> m[] }'
37 relation: '[N, M] -> { S_0[i] -> [i] }'
41 relation: '[N, M] -> { S_0[i] -> [1] }'
45 domain: '[N, M] -> { S_1[i, j] : j >= 0 and i >= 0 and i <= -1 + N and j <= -1 +
47 schedule: '[M, N] -> { S_1[i, j] -> [0, i, 1, j] }'
53 relation: '[N, M] -> { S_1[i, j] -> m[] }'
63 relation: '[N, M] -> { S_1[i, j] -> m[] }'
67 relation: '[N, M] -> { S_1[i, j] -> in1[i, j] }'
71 domain: '[N, M] -> { S_2[i] : i >= 0 and i <= -1 + N }'
72 schedule: '[N] -> { S_2[i] -> [0, i, 2] }'
81 relation: '[N, M] -> { S_2[i] -> m[] }'
85 relation: '[N, M] -> { S_2[i] -> A[i, o1] }'
89 domain: '[N, M] -> { S_3[] }'
90 schedule: '{ S_3[] -> [1] }'
96 relation: '[N, M] -> { S_3[] -> A[5, 6] }'
100 relation: '[N, M] -> { S_3[] -> [0] }'
104 domain: '[N, M] -> { S_4[i] : i >= 0 and i <= -1 + N }'
105 schedule: '[N] -> { S_4[i] -> [2, i] }'
111 relation: '[N, M] -> { S_4[i] -> C[i] }'
117 relation: '[N, M] -> { [S_4[i] -> [i1]] -> [1] : i1 <= -1 + N - i and i1 >=
118 -i; [S_4[-1 + N] -> [1]] -> [0]; [S_4[0] -> [-1]] -> [0] }'
123 relation: '[N, M] -> { S_4[i] -> in2[i] }'
130 relation: '[N, M] -> { [S_4[i] -> [i1]] -> A[i + i1, o1] : i1 <= -1 + N
136 relation: '[N, M] -> { S_4[i] -> in2[i] }'
140 relation: '[N, M] -> { [S_4[-1 + N] -> [1]] -> [0]; [S_4[0] -> [-1]] -> [0]
146 relation: '[N, M] -> { S_4[i] -> in2[i] }'