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] }'
38 relation: '[N, M] -> { S_0[i] -> m[] }'
39 index: '[N, M] -> { S_0[i] -> m[] }'
40 reference: __pet_ref_0
47 relation: '[N, M] -> { S_0[i] -> [i] }'
48 index: '[N, M] -> { S_0[i] -> [(i)] }'
49 reference: __pet_ref_1
55 domain: '[N, M] -> { S_1[i, j] : j <= -1 + M and j >= 0 and i <= -1 + N and i >=
57 schedule: '[N, M] -> { S_1[i, j] -> [0, i, 1, j] }'
63 relation: '[N, M] -> { S_1[i, j] -> m[] }'
64 index: '[N, M] -> { S_1[i, j] -> m[] }'
65 reference: __pet_ref_2
75 relation: '[N, M] -> { S_1[i, j] -> m[] }'
76 index: '[N, M] -> { S_1[i, j] -> m[] }'
77 reference: __pet_ref_3
81 relation: '[N, M] -> { S_1[i, j] -> in1[i, j] }'
82 index: '[N, M] -> { S_1[i, j] -> in1[(i), (j)] }'
83 reference: __pet_ref_4
87 domain: '[N, M] -> { S_2[i] : i <= -1 + N and i >= 0 }'
88 schedule: '[N] -> { S_2[i] -> [0, i, 2] }'
97 relation: '[N, M] -> { S_2[i] -> m[] }'
98 index: '[N, M] -> { S_2[i] -> m[] }'
99 reference: __pet_ref_5
103 relation: '[N, M] -> { S_2[i] -> A[i, o1] }'
104 index: '[N, M] -> { S_2[i] -> A[(i)] }'
105 reference: __pet_ref_6
109 domain: '[N, M] -> { S_3[] }'
110 schedule: '{ S_3[] -> [1] }'
116 relation: '[N, M] -> { S_3[] -> A[5, 6] }'
117 index: '[N, M] -> { S_3[] -> A[(5), (6)] }'
118 reference: __pet_ref_7
124 domain: '[N, M] -> { S_4[i] : i <= -3 + N and i >= 0 }'
125 schedule: '[N] -> { S_4[i] -> [2, i] }'
131 relation: '[N, M] -> { S_4[i] -> C[i] }'
132 index: '[N, M] -> { S_4[i] -> C[(i)] }'
133 reference: __pet_ref_8
140 relation: '[N, M] -> { [S_4[i] -> [i1]] -> A[1 + i + i1, o1] }'
141 index: '[N, M] -> { [S_4[i] -> [i1]] -> A[(1 + i + i1)] }'
142 reference: __pet_ref_10
147 relation: '[N, M] -> { S_4[i] -> in2[i] }'
148 index: '[N, M] -> { S_4[i] -> in2[(i)] }'
149 reference: __pet_ref_9