4 context: '[m] -> { : m >= 6 and m <= 2147483647 }'
5 schedule: '{ domain: "{ S_0[]; S_1[] }", child: { sequence: [ { filter: "{ S_0[] }"
6 }, { filter: "{ S_1[] }" } ] } }'
9 extent: '[m] -> { n[] }'
14 domain: '[m] -> { S_0[] }'
15 schedule: '{ S_0[] -> [0] }'
23 index: '[m] -> { S_0[] -> n[] }'
24 reference: __pet_ref_0
30 domain: '[m] -> { S_1[] }'
31 schedule: '{ S_1[] -> [1] }'
39 index: '[m] -> { S_1[] -> [(1)] }'
40 reference: __pet_ref_1