4 context: '[N, in] -> { : N <= 2147483646 and N >= -1 and in <= 2147483647 and in
6 schedule: '{ domain: "[N, in] -> { S_3[]; S_4[]; S_2[] : N >= 0; S_1[i] : i >= 1 and
7 i <= N; S_0[] : N >= 0; S_6[]; S_5[] }", child: { sequence: [ { filter: "[N] ->
8 { S_0[] }" }, { filter: "[N] -> { S_1[i] }", child: { schedule: "[N] -> L_0[{ S_1[i]
9 -> [(i)] }]" } }, { filter: "[N] -> { S_2[] }" }, { filter: "[N] -> { S_5[]; S_4[];
10 S_6[]; S_3[] }", child: { set: [ { filter: "{ S_3[] }" }, { filter: "{ S_4[] }"
11 }, { filter: "{ S_5[] }" }, { filter: "{ S_6[] }" } ] } } ] } }'
13 - context: '[N] -> { : N <= 2147483646 and N >= -1 }'
14 extent: '[N, in] -> { A[i0] : i0 <= N and i0 >= 0 }'
18 extent: '[N, in] -> { i[] }'
22 extent: '[N, in] -> { in[] }'
26 extent: '[N, in] -> { out[] }'
31 domain: '[N, in] -> { S_0[] : N >= 0 }'
39 index: '[N, in] -> { S_0[] -> A[(0)] }'
40 reference: __pet_ref_0
44 index: '[N, in] -> { S_0[] -> [(in)] }'
45 reference: __pet_ref_1
49 domain: '[N, in] -> { S_1[i] : i >= 1 and i <= N }'
57 index: '[N, in] -> { S_1[i] -> A[(i)] }'
58 reference: __pet_ref_2
68 index: '[N, in] -> { S_1[i] -> A[(floor((i)/2))] }'
69 reference: __pet_ref_3
73 domain: '[N, in] -> { S_2[] : N >= 0 }'
81 index: '[N, in] -> { S_2[] -> out[] }'
82 reference: __pet_ref_4
89 index: '[N, in] -> { S_2[] -> A[(N)] }'
90 reference: __pet_ref_5
94 domain: '[N, in] -> { S_3[] }'
102 killed: '[N, in] -> { S_3[] -> i[] }'
103 index: '[N, in] -> { S_3[] -> i[] }'
104 reference: __pet_ref_6
107 domain: '[N, in] -> { S_4[] }'
115 killed: '[N, in] -> { S_4[] -> in[] }'
116 index: '[N, in] -> { S_4[] -> in[] }'
117 reference: __pet_ref_7
120 domain: '[N, in] -> { S_5[] }'
128 killed: '[N, in] -> { S_5[] -> A[o0] : o0 <= N and o0 >= 0 }'
129 index: '[N, in] -> { S_5[] -> A[] }'
131 reference: __pet_ref_8
134 domain: '[N, in] -> { S_6[] }'
142 killed: '[N, in] -> { S_6[] -> out[] }'
143 index: '[N, in] -> { S_6[] -> out[] }'
144 reference: __pet_ref_9