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