4 context: '[N] -> { : N >= 1 and N <= 2147483647 }'
6 - context: '[N] -> { : N >= 0 }'
7 extent: '[N] -> { a[i0] : i0 <= -1 + N and i0 >= 0 }'
12 domain: '[N] -> { S_0[i] : i <= 9 and i >= 0 }'
13 schedule: '{ S_0[i] -> [0, i] }'
21 relation: '[N] -> { S_0[i] -> a[-1 + N] }'
22 index: '[N] -> { S_0[i] -> a[(-1 + N)] }'
23 reference: __pet_ref_0
27 relation: '[N] -> { S_0[i] -> [N] }'
28 index: '[N] -> { S_0[i] -> [(N)] }'
29 reference: __pet_ref_1