4 context: '[N, M] -> { : N <= 1000 and N >= 10 and M >= 10 and M <= 1000 }'
6 - context: '[N] -> { : N >= 0 }'
7 extent: '[N, M] -> { A[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <=
11 - context: '[N] -> { : N >= 0 }'
12 extent: '[N, M] -> { C[i0] : i0 <= -1 + N and i0 >= 0 }'
15 - context: '[M, N] -> { : N >= 0 and M >= 0 }'
16 extent: '[N, M] -> { in1[i0, i1] : i1 <= -1 + M and i1 >= 0 and i0 <= -1 + N and
20 - context: '[N] -> { : N >= 0 }'
21 extent: '[N, M] -> { in2[i0] : i0 <= -1 + N and i0 >= 0 }'
22 value_bounds: '{ [i0] : i0 >= -1 and i0 <= 1 }'
26 extent: '[N, M] -> { m[] }'
31 domain: '[N, M] -> { S_0[i] : i <= -1 + N and i >= 0 }'
32 schedule: '[N] -> { S_0[i] -> [0, i, 0] }'
40 relation: '[N, M] -> { S_0[i] -> m[] }'
41 index: '[N, M] -> { S_0[i] -> m[] }'
42 reference: __pet_ref_0
49 relation: '[N, M] -> { S_0[i] -> [i] }'
50 index: '[N, M] -> { S_0[i] -> [(i)] }'
51 reference: __pet_ref_1
57 domain: '[N, M] -> { S_1[i, j] : j <= -1 + M and j >= 0 and i <= -1 + N and i >=
59 schedule: '[N, M] -> { S_1[i, j] -> [0, i, 1, j] }'
67 relation: '[N, M] -> { S_1[i, j] -> m[] }'
68 index: '[N, M] -> { S_1[i, j] -> m[] }'
69 reference: __pet_ref_2
79 relation: '[N, M] -> { S_1[i, j] -> m[] }'
80 index: '[N, M] -> { S_1[i, j] -> m[] }'
81 reference: __pet_ref_3
85 relation: '[N, M] -> { S_1[i, j] -> in1[i, j] }'
86 index: '[N, M] -> { S_1[i, j] -> in1[(i), (j)] }'
87 reference: __pet_ref_4
91 domain: '[N, M] -> { S_2[i] : i <= -1 + N and i >= 0 }'
92 schedule: '[N] -> { S_2[i] -> [0, i, 2] }'
103 relation: '[N, M] -> { S_2[i] -> m[] }'
104 index: '[N, M] -> { S_2[i] -> m[] }'
105 reference: __pet_ref_5
109 relation: '[N, M] -> { S_2[i] -> A[i, o1] }'
110 index: '[N, M] -> { S_2[i] -> A[(i)] }'
111 reference: __pet_ref_6
115 domain: '[N, M] -> { S_3[] }'
116 schedule: '{ S_3[] -> [1] }'
124 relation: '[N, M] -> { S_3[] -> A[5, 6] }'
125 index: '[N, M] -> { S_3[] -> A[(5), (6)] }'
126 reference: __pet_ref_7
132 domain: '[N, M] -> { S_4[i] : i <= -3 + N and i >= 0 }'
133 schedule: '[N] -> { S_4[i] -> [2, i] }'
141 relation: '[N, M] -> { S_4[i] -> C[i] }'
142 index: '[N, M] -> { S_4[i] -> C[(i)] }'
143 reference: __pet_ref_8
150 relation: '[N, M] -> { [S_4[i] -> [i1]] -> A[1 + i + i1, o1] }'
151 index: '[N, M] -> { [S_4[i] -> [i1]] -> A[(1 + i + i1)] }'
152 reference: __pet_ref_10
157 relation: '[N, M] -> { S_4[i] -> in2[i] }'
158 index: '[N, M] -> { S_4[i] -> in2[(i)] }'
159 reference: __pet_ref_9