4 context: '[N] -> { : N >= -429496729 and N <= 2147483647 }'
7 extent: '[N] -> { a[] }'
12 domain: '[N] -> { S_0[] : N <= 99 and N >= 1 }'
13 schedule: '[N] -> { S_0[] -> [0] }'
19 relation: '[N] -> { S_0[] -> a[] }'
20 index: '[N] -> { S_0[] -> a[] }'
21 reference: __pet_ref_0