12 schedule: '{ S_0[] -> [0] }'
18 relation: '{ S_0[] -> a[] }'
19 index: '{ S_0[] -> a[] }'
20 reference: __pet_ref_0
24 relation: '{ S_0[] -> [5] }'
25 index: '{ S_0[] -> [(5)] }'
26 reference: __pet_ref_1
31 schedule: '{ S_1[] -> [1] }'
37 relation: '{ S_1[] -> a[] }'
38 index: '{ S_1[] -> a[] }'
39 reference: __pet_ref_2