4 context: '[m] -> { : m >= 6 and m <= 2147483647 }'
7 extent: '[m] -> { n[] }'
12 domain: '[m] -> { S_0[] }'
13 schedule: '{ S_0[] -> [0] }'
21 relation: '[m] -> { S_0[] -> n[] }'
22 index: '[m] -> { S_0[] -> n[] }'
23 reference: __pet_ref_0
29 domain: '[m] -> { S_1[] }'
30 schedule: '{ S_1[] -> [1] }'
38 relation: '[m] -> { S_1[] -> [1] }'
39 index: '[m] -> { S_1[] -> [(1)] }'
40 reference: __pet_ref_1