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