6 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
11 domain: '{ S_0[i] : (i <= 4 and i >= 0) or (i <= 9 and i >= 6) }'
12 schedule: '{ S_0[i] -> [0, i] }'
18 relation: '{ S_0[i] -> a[i] }'
19 index: '{ S_0[i] -> a[(i)] }'
20 reference: __pet_ref_0
24 relation: '{ S_0[i] -> [i] }'
25 index: '{ S_0[i] -> [(i)] }'
26 reference: __pet_ref_1