4 context: '[N] -> { : N <= 2147483647 and N >= 1 }'
5 schedule: '{ domain: "{ S_0[i] : i >= 0 and i <= 9 }", child: { schedule: "L_0[{ S_0[i]
8 - context: '[N] -> { : N >= 0 }'
9 extent: '[N] -> { a[i0] : i0 >= 0 and i0 <= -1 + N }'
14 domain: '[N] -> { S_0[i] : i <= 9 and i >= 0 }'
22 index: '[N] -> { S_0[i] -> a[(-1 + N)] }'
23 reference: __pet_ref_0
27 index: '[N] -> { S_0[i] -> [(N)] }'
28 reference: __pet_ref_1