4 context: '[N] -> { : N <= 2147483647 and N >= 1 }'
5 schedule: '{ domain: "[N] -> { S_1[]; S_0[i] : i <= 9 and i >= 0; S_2[] }", child:
6 { sequence: [ { filter: "{ S_0[i] }", child: { schedule: "L_0[{ S_0[i] -> [(i)]
7 }]" } }, { filter: "{ S_2[]; S_1[] }", child: { set: [ { filter: "{ S_1[] }" },
8 { filter: "{ S_2[] }" } ] } } ] } }'
10 - context: '[N] -> { : N >= 0 }'
11 extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
15 extent: '[N] -> { i[] }'
20 domain: '[N] -> { S_0[i] : i <= 9 and i >= 0 }'
28 index: '[N] -> { S_0[i] -> a[(-1 + N)] }'
29 reference: __pet_ref_0
33 index: '[N] -> { S_0[i] -> [(N)] }'
34 reference: __pet_ref_1
38 domain: '[N] -> { S_1[] }'
46 killed: '[N] -> { S_1[] -> i[] }'
47 index: '[N] -> { S_1[] -> i[] }'
48 reference: __pet_ref_2
51 domain: '[N] -> { S_2[] }'
59 killed: '[N] -> { S_2[] -> a[o0] : o0 >= 0 and o0 <= -1 + N }'
60 index: '[N] -> { S_2[] -> a[] }'
62 reference: __pet_ref_3