3 context: '[N] -> { : N >= 0 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] : exists (e0 = [(-2 - N + i)/3]: 3e0 = -2 - N + i and i
12 <= -1 + N and i >= 0) }'
13 schedule: '[N] -> { S_0[i] -> [0, -i] }'
19 relation: '[N] -> { S_0[i] -> a[i] }'
20 reference: __pet_ref_0
24 relation: '[N] -> { S_0[i] -> [i] }'
25 reference: __pet_ref_1