4 context: '[n] -> { : n >= 0 and n <= 2147483647 }'
5 schedule: '{ domain: "[n] -> { S_6[i] : i >= 0 and i <= -1 + n; S_4[i] : i >= 0 and
6 i <= -1 + n; S_0[]; S_2[i] : i >= 0 and i <= -1 + n; S_3[i] : i >= 0 and i <= -1
7 + n; S_5[i] : i >= 0 and i <= -1 + n; S_1[i] : i >= 0 and i <= -1 + n }", child:
8 { sequence: [ { filter: "[n] -> { S_0[] }" }, { filter: "[n] -> { S_1[i] }", child:
9 { schedule: "[n] -> L_0[{ S_1[i] -> [(i)] }]" } }, { filter: "[n] -> { S_4[i]; S_2[i];
10 S_3[i]; S_5[i] }", child: { schedule: "[n] -> L_1[{ S_4[i] -> [(i)]; S_2[i] -> [(i)];
11 S_3[i] -> [(i)]; S_5[i] -> [(i)] }]", child: { sequence: [ { filter: "[n] -> { S_2[i]
12 }" }, { filter: "[n] -> { S_4[i] }" }, { filter: "[n] -> { S_5[i] }" }, { filter:
13 "[n] -> { S_3[i] }" } ] } } }, { filter: "[n] -> { S_6[i] }", child: { schedule:
14 "[n] -> L_2[{ S_6[i] -> [(i)] }]" } } ] } }'
16 - context: '[n] -> { : n >= 0 }'
17 extent: '[n] -> { a[i0] : i0 >= 0 and i0 <= -1 + n }'
22 - context: '[n] -> { : n >= 0 }'
23 extent: '[n] -> { b_0[i0, i1] : i0 >= 0 and i0 <= -1 + n and i1 >= 0 and i1 <= -1
29 extent: '[n] -> { b[i0] : i0 >= 0 }'
34 domain: '[n] -> { S_0[] }'
42 killed: '[n] -> { S_0[] -> a[o0] : o0 >= 0 and o0 <= -1 + n }'
43 index: '[n] -> { S_0[] -> a[] }'
45 reference: __pet_ref_0
48 domain: '[n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
56 index: '[n] -> { S_1[i] -> a[(i)] }'
57 reference: __pet_ref_1
61 index: '[n] -> { S_1[i] -> b[(i)] }'
62 reference: __pet_ref_2
66 domain: '[n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
74 killed: '[n] -> { S_2[i] -> b_0[o0, o1] : o0 >= 0 and o0 <= -1 + n and o1
75 >= 0 and o1 <= -1 + n }'
76 index: '[n] -> { S_2[i] -> b_0[] }'
78 reference: __pet_ref_3
81 domain: '[n] -> { S_4[i] : i >= 0 and i <= -1 + n }'
89 index: '[n] -> { S_4[i] -> b_0[(i), (i)] }'
90 reference: __pet_ref_4
97 index: '[n] -> { S_4[i] -> a[(i)] }'
98 reference: __pet_ref_5
104 domain: '[n] -> { S_5[i] : i >= 0 and i <= -1 + n }'
112 index: '[n] -> { S_5[i] -> a[(i)] }'
113 reference: __pet_ref_6
117 index: '[n] -> { S_5[i] -> b_0[(i), (i)] }'
118 reference: __pet_ref_7
122 domain: '[n] -> { S_3[i] : i >= 0 and i <= -1 + n }'
130 killed: '[n] -> { S_3[i] -> b_0[o0, o1] : o0 >= 0 and o0 <= -1 + n and o1
131 >= 0 and o1 <= -1 + n }'
132 index: '[n] -> { S_3[i] -> b_0[] }'
134 reference: __pet_ref_8
137 domain: '[n] -> { S_6[i] : i >= 0 and i <= -1 + n }'
145 index: '[n] -> { S_6[i] -> b[(i)] }'
146 reference: __pet_ref_9
150 index: '[n] -> { S_6[i] -> a[(i)] }'
151 reference: __pet_ref_10