21 schedule: '{ S_0[] -> [0] }'
29 relation: '{ S_0[] -> c[] }'
30 index: '{ S_0[] -> c[] }'
31 reference: __pet_ref_0
38 relation: '{ S_0[] -> a[] }'
39 index: '{ S_0[] -> a[] }'
40 reference: __pet_ref_1
44 relation: '{ S_0[] -> b[] }'
45 index: '{ S_0[] -> b[] }'
46 reference: __pet_ref_2