4 context: '[n] -> { : n <= 2147483647 and n >= -2147483648 }'
5 schedule: '{ domain: "[n] -> { S_4[i] : i >= 0 and i <= -1 + n; S_2[i] : i >= 0 and
6 i <= -1 + n; S_3[i] : i >= 0 and i <= -1 + n; S_1[i] : i >= 0 and i <= -1 + n; S_0[i]
7 : i >= 0 and i <= -1 + n }", child: { schedule: "[n] -> L_0[{ S_4[i] -> [(i)]; S_2[i]
8 -> [(i)]; S_3[i] -> [(i)]; S_1[i] -> [(i)]; S_0[i] -> [(i)] }]", child: { sequence:
9 [ { filter: "[n] -> { S_0[i] }" }, { filter: "[n] -> { S_1[i] }" }, { filter: "[n]
10 -> { S_4[i] }" }, { filter: "[n] -> { S_2[i]; S_3[i] }", child: { set: [ { filter:
11 "[n] -> { S_2[i] }" }, { filter: "[n] -> { S_3[i] }" } ] } } ] } } }'
13 - context: '[n] -> { : n >= 0 }'
14 extent: '[n] -> { a[i0] : i0 >= 0 and i0 <= -1 + n }'
19 - context: '[n] -> { : n >= 0 }'
20 extent: '[n] -> { b[i0] : i0 >= 0 and i0 <= -1 + n }'
27 domain: '[n] -> { S_0[i] : i >= 0 and i <= -1 + n }'
35 killed: '[n] -> { S_0[i] -> a[o0] : o0 >= 0 and o0 <= -1 + n }'
36 index: '[n] -> { S_0[i] -> a[] }'
38 reference: __pet_ref_0
41 domain: '[n] -> { S_1[i] : i >= 0 and i <= -1 + n }'
49 killed: '[n] -> { S_1[i] -> b[o0] : o0 >= 0 and o0 <= -1 + n }'
50 index: '[n] -> { S_1[i] -> b[] }'
52 reference: __pet_ref_1
55 domain: '[n] -> { S_4[i] : i >= 0 and i <= -1 + n }'
63 index: '[n] -> { S_4[i] -> a[(i)] }'
64 reference: __pet_ref_2
68 index: '[n] -> { S_4[i] -> b[(i)] }'
69 reference: __pet_ref_3
73 domain: '[n] -> { S_2[i] : i >= 0 and i <= -1 + n }'
81 killed: '[n] -> { S_2[i] -> a[o0] : o0 >= 0 and o0 <= -1 + n }'
82 index: '[n] -> { S_2[i] -> a[] }'
84 reference: __pet_ref_4
87 domain: '[n] -> { S_3[i] : i >= 0 and i <= -1 + n }'
95 killed: '[n] -> { S_3[i] -> b[o0] : o0 >= 0 and o0 <= -1 + n }'
96 index: '[n] -> { S_3[i] -> b[] }'
98 reference: __pet_ref_5