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] : i >= 0 and i <= 2147483547 and i <= n }'
12 schedule: '[n] -> { S_0[i] -> [0, i] }'
18 relation: '[n] -> { S_0[i] -> a[i] }'
19 index: '[n] -> { S_0[i] -> a[(i)] }'
20 reference: __pet_ref_0