4 context: '[m, n] -> { : m >= 0 and n <= 2147483647 and n >= -2147483648 and m <=
6 schedule: '{ domain: "[m, n] -> { S_4[i] : i >= 0 and i <= -1 + n; S_2[i] : i >= 0
7 and i <= -1 + n; S_9[i, i''] : i'' <= -3 + m and i >= 0 and i <= -1 + n and i''
8 >= 0; S_7[i] : i >= 0 and i <= -1 + n; S_6[i] : i >= 0 and i <= -1 + n; S_0[i] :
9 i >= 0 and i <= -1 + n; S_3[i] : i >= 0 and i <= -1 + n; S_1[i] : i >= 0 and i <=
10 -1 + n; S_8[i] : i >= 0 and i <= -1 + n; S_5[i] : i >= 0 and i <= -1 + n }", child:
11 { schedule: "[n, m] -> L_0[{ S_3[i] -> [(i)]; S_9[i, i''] -> [(i)]; S_1[i] -> [(i)];
12 S_5[i] -> [(i)]; S_4[i] -> [(i)]; S_2[i] -> [(i)]; S_8[i] -> [(i)]; S_6[i] -> [(i)];
13 S_7[i] -> [(i)]; S_0[i] -> [(i)] }]", child: { sequence: [ { filter: "[n, m] ->
14 { S_0[i] }" }, { filter: "[n, m] -> { S_1[i] }" }, { filter: "[n, m] -> { S_3[i]
15 }" }, { filter: "[n, m] -> { S_4[i] }" }, { filter: "[n, m] -> { S_6[i] }" }, {
16 filter: "[n, m] -> { S_7[i] }" }, { filter: "[n, m] -> { S_9[i, i''] }", child:
17 { schedule: "[n, m] -> L_1[{ S_9[i, i''] -> [(i'')] }]" } }, { filter: "[n, m] ->
18 { S_5[i]; S_2[i]; S_8[i] }", child: { set: [ { filter: "[n] -> { S_2[i] }" }, {
19 filter: "[n] -> { S_5[i] }" }, { filter: "[n] -> { S_8[i] }" } ] } } ] } } }'
22 extent: '[m, n] -> { n_0[] }'
27 extent: '[m, n] -> { __pet_arg_0[] }'
32 extent: '[m, n] -> { __pet_arg_1[] }'
36 - context: '[m] -> { : m >= 0 }'
37 extent: '[m, n] -> { a[i0, i1] : i0 >= 0 and i1 >= 0 and i1 <= -1 + m }'
42 domain: '[m, n] -> { S_0[i] : i >= 0 and i <= -1 + n }'
50 killed: '[m, n] -> { S_0[i] -> n_0[] }'
51 index: '[m, n] -> { S_0[i] -> n_0[] }'
52 reference: __pet_ref_0
55 domain: '[m, n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
63 index: '[m, n] -> { S_1[i] -> n_0[] }'
64 reference: __pet_ref_1
71 index: '[m, n] -> { S_1[i] -> [(m)] }'
72 reference: __pet_ref_2
78 domain: '[m, n] -> { S_3[i] : i >= 0 and i <= -1 + n }'
86 killed: '[m, n] -> { S_3[i] -> __pet_arg_0[] }'
87 index: '[m, n] -> { S_3[i] -> __pet_arg_0[] }'
88 reference: __pet_ref_3
91 domain: '[m, n] -> { S_4[i] : i >= 0 and i <= -1 + n }'
99 index: '[m, n] -> { S_4[i] -> __pet_arg_0[] }'
100 reference: __pet_ref_4
104 index: '[m, n] -> { S_4[i] -> [(i)] }'
105 reference: __pet_ref_5
109 domain: '[m, n] -> { S_6[i] : i >= 0 and i <= -1 + n }'
117 killed: '[m, n] -> { S_6[i] -> __pet_arg_1[] }'
118 index: '[m, n] -> { S_6[i] -> __pet_arg_1[] }'
119 reference: __pet_ref_6
122 domain: '[m, n] -> { S_7[i] : i >= 0 and i <= -1 + n }'
130 index: '[m, n] -> { S_7[i] -> __pet_arg_1[] }'
131 reference: __pet_ref_7
137 domain: '[m, n] -> { S_9[i, i''] : i'' <= -3 + m and i >= 0 and i <= -1 + n and
146 index: '[m, n] -> { S_9[i, i''] -> a[(i), (1 + i'')] }'
147 reference: __pet_ref_8
153 domain: '[m, n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
161 killed: '[m, n] -> { S_2[i] -> n_0[] }'
162 index: '[m, n] -> { S_2[i] -> n_0[] }'
163 reference: __pet_ref_9
166 domain: '[m, n] -> { S_5[i] : i >= 0 and i <= -1 + n }'
174 killed: '[m, n] -> { S_5[i] -> __pet_arg_0[] }'
175 index: '[m, n] -> { S_5[i] -> __pet_arg_0[] }'
176 reference: __pet_ref_10
179 domain: '[m, n] -> { S_8[i] : i >= 0 and i <= -1 + n }'
187 killed: '[m, n] -> { S_8[i] -> __pet_arg_1[] }'
188 index: '[m, n] -> { S_8[i] -> __pet_arg_1[] }'
189 reference: __pet_ref_11