3 context: '[N, M] -> { : N >= 0 and M >= 0 and N <= 2147483647 and M <= 2147483647
6 - context: '[M, N] -> { : N >= 0 and M >= 0 }'
7 extent: '[N, M] -> { in1[i0, i1] : i1 <= -1 + M and i1 >= 0 and i0 <= -1 + N and
12 extent: '[N, M] -> { in2[] }'
13 value_bounds: '{ [i0] : i0 >= -1 and i0 <= 1 }'
16 - context: '[N] -> { : N >= 0 }'
17 extent: '[N, M] -> { A[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <=
21 - context: '[N] -> { : N >= 0 }'
22 extent: '[N, M] -> { C[i0] : i0 <= -1 + N and i0 >= 0 }'
26 extent: '[N, M] -> { m[] }'
31 domain: '[N, M] -> { S_0[] }'
32 schedule: '{ S_0[] -> [0] }'
38 relation: '[N, M] -> { S_0[] -> in2[] }'
39 index: '[N, M] -> { S_0[] -> in2[] }'
40 reference: __pet_ref_0
46 domain: '[N, M] -> { S_1[i] : i <= -1 + N and i >= 0 }'
47 schedule: '[N] -> { S_1[i] -> [1, i, 0] }'
53 relation: '[N, M] -> { S_1[i] -> m[] }'
54 index: '[N, M] -> { S_1[i] -> m[] }'
55 reference: __pet_ref_1
62 relation: '[N, M] -> { S_1[i] -> [i] }'
63 index: '[N, M] -> { S_1[i] -> [(i)] }'
64 reference: __pet_ref_2
68 relation: '[N, M] -> { S_1[i] -> [1] }'
69 index: '[N, M] -> { S_1[i] -> [(1)] }'
70 reference: __pet_ref_3
74 domain: '[N, M] -> { S_2[i, j] : j <= -1 + M and j >= 0 and i <= -1 + N and i >=
76 schedule: '[M, N] -> { S_2[i, j] -> [1, i, 1, j] }'
82 relation: '[N, M] -> { S_2[i, j] -> m[] }'
83 index: '[N, M] -> { S_2[i, j] -> m[] }'
84 reference: __pet_ref_4
94 relation: '[N, M] -> { S_2[i, j] -> m[] }'
95 index: '[N, M] -> { S_2[i, j] -> m[] }'
96 reference: __pet_ref_5
100 relation: '[N, M] -> { S_2[i, j] -> in1[i, j] }'
101 index: '[N, M] -> { S_2[i, j] -> in1[(i), (j)] }'
102 reference: __pet_ref_6
106 domain: '[N, M] -> { S_3[i] : i <= -1 + N and i >= 0 }'
107 schedule: '[N] -> { S_3[i] -> [1, i, 2] }'
116 relation: '[N, M] -> { S_3[i] -> m[] }'
117 index: '[N, M] -> { S_3[i] -> m[] }'
118 reference: __pet_ref_7
122 relation: '[N, M] -> { S_3[i] -> A[i, o1] }'
123 index: '[N, M] -> { S_3[i] -> A[(i)] }'
124 reference: __pet_ref_8
128 domain: '[N, M] -> { S_4[] }'
129 schedule: '{ S_4[] -> [2] }'
135 relation: '[N, M] -> { S_4[] -> A[5, 6] }'
136 index: '[N, M] -> { S_4[] -> A[(5), (6)] }'
137 reference: __pet_ref_9
141 relation: '[N, M] -> { S_4[] -> [0] }'
142 index: '[N, M] -> { S_4[] -> [(0)] }'
143 reference: __pet_ref_10
147 domain: '[N, M] -> { S_5[i] : i <= -1 + N and i >= 0 }'
148 schedule: '[N] -> { S_5[i] -> [3, i] }'
154 relation: '[N, M] -> { S_5[i] -> C[i] }'
155 index: '[N, M] -> { S_5[i] -> C[(i)] }'
156 reference: __pet_ref_11
162 relation: '[N, M] -> { [S_5[i] -> [i1]] -> [1] : i1 >= -i and i1 <= -1 + N
163 - i; [S_5[-1 + N] -> [1]] -> [0]; [S_5[0] -> [-1]] -> [0] }'
164 index: '[N, M] -> { [S_5[i] -> [i1]] -> [((1) : i1 >= -i and i1 <= -1 + N
165 - i; (0) : i = -1 + N and i1 = 1; (0) : i = 0 and i1 = -1)] }'
166 reference: __pet_ref_13
171 relation: '[N, M] -> { S_5[i] -> in2[] }'
172 index: '[N, M] -> { S_5[i] -> in2[] }'
173 reference: __pet_ref_12
180 relation: '[N, M] -> { [S_5[i] -> [i1]] -> A[i + i1, o1] : i1 >= -i and
182 index: '[N, M] -> { [S_5[i] -> [i1]] -> A[((i + i1) : i1 >= -i)] }'
183 reference: __pet_ref_15
188 relation: '[N, M] -> { S_5[i] -> in2[] }'
189 index: '[N, M] -> { S_5[i] -> in2[] }'
190 reference: __pet_ref_14
194 relation: '[N, M] -> { [S_5[-1 + N] -> [1]] -> [0]; [S_5[0] -> [-1]] -> [0]
196 index: '[N, M] -> { [S_5[i] -> [i1]] -> [(0)] }'
197 reference: __pet_ref_17
202 relation: '[N, M] -> { S_5[i] -> in2[] }'
203 index: '[N, M] -> { S_5[i] -> in2[] }'
204 reference: __pet_ref_16