4 context: '[N] -> { : N >= 1 and N <= 2147483647 }'
6 - context: '[N] -> { : N >= 0 }'
7 extent: '[N] -> { A[i0] : i0 <= -1 + N and i0 >= 0 }'
14 domain: '[N] -> { S_0[] }'
15 schedule: '{ S_0[] -> [0] }'
21 relation: '[N] -> { S_0[] -> A[o0] : o0 <= -1 + N and o0 >= 0 }'
22 index: '[N] -> { S_0[] -> A[] }'
23 reference: __pet_ref_0
27 domain: '[N] -> { S_1[] }'
28 schedule: '{ S_1[] -> [1] }'
34 relation: '[N] -> { S_1[] -> A[0] }'
35 index: '[N] -> { S_1[] -> A[(0)] }'
36 reference: __pet_ref_1