4 context: '[n, m] -> { : m <= 2147483645 and n <= 2147483646 and m >= -2147483648
5 and n >= -2147483648 }'
8 extent: '[n, m] -> { a[] }'
13 domain: '[n, m] -> { S_0[i] : i <= m and i >= n }'
14 schedule: '[n, m] -> { S_0[i] -> [0, i] }'
20 relation: '[n, m] -> { S_0[i] -> a[] }'
21 index: '[n, m] -> { S_0[i] -> a[] }'
22 reference: __pet_ref_0