4 context: '[N] -> { : N <= 2147483647 and N >= -2147483648 }'
7 extent: '[N] -> { a[] }'
12 domain: '[N] -> { S_0[i] : N <= -1 and i >= 0 }'
13 schedule: '[N] -> { S_0[i] -> [0, i] }'
21 relation: '[N] -> { S_0[i] -> a[] }'
22 index: '[N] -> { S_0[i] -> a[] }'
23 reference: __pet_ref_0