7 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
12 domain: '{ S_0[i] : (i <= 9 and i >= 7) or (i <= 4 and i >= 0) }'
13 schedule: '{ S_0[i] -> [0, i] }'
21 relation: '{ S_0[i] -> a[i] }'
22 index: '{ S_0[i] -> a[(i)] }'
23 reference: __pet_ref_0
27 relation: '{ S_0[i] -> [i] }'
28 index: '{ S_0[i] -> [(i)] }'
29 reference: __pet_ref_1