4 context: '[N] -> { : N >= -429496729 and N <= 2147483647 }'
5 schedule: '{ domain: "[N] -> { S_0[] : N <= 99 and N >= 1 }" }'
8 extent: '[N] -> { a[] }'
13 domain: '[N] -> { S_0[] : N <= 99 and N >= 1 }'
21 index: '[N] -> { S_0[] -> a[] }'
22 reference: __pet_ref_0