3 context: '[N] -> { : N >= 1 and N <= 2147483647 }'
5 - context: '[N] -> { : N >= 0 }'
6 extent: '[N] -> { a[i0] : i0 <= -1 + N and i0 >= 0 }'
11 domain: '[N] -> { S_0[i] : i <= 9 and i >= 0 }'
12 schedule: '{ S_0[i] -> [0, i] }'
18 relation: '[N] -> { S_0[i] -> a[-1 + N] }'
19 index: '[N] -> { S_0[i] -> a[(-1 + N)] }'
20 reference: __pet_ref_0
24 relation: '[N] -> { S_0[i] -> [N] }'
25 index: '[N] -> { S_0[i] -> [(N)] }'
26 reference: __pet_ref_1