11 domain: '{ S_0[k] : k >= 252 and k <= 261 }'
12 schedule: '{ S_0[k] -> [0, k] }'
18 relation: '{ S_0[k] -> a[] }'
19 index: '{ S_0[k] -> a[] }'
20 reference: __pet_ref_0
24 relation: '{ S_0[k] -> [5] }'
25 index: '{ S_0[k] -> [(5)] }'
26 reference: __pet_ref_1