20 schedule: '{ S_0[] -> [0] }'
26 relation: '{ S_0[] -> c[] }'
27 index: '{ S_0[] -> c[] }'
28 reference: __pet_ref_0
35 relation: '{ S_0[] -> a[] }'
36 index: '{ S_0[] -> a[] }'
37 reference: __pet_ref_1
41 relation: '{ S_0[] -> b[] }'
42 index: '{ S_0[] -> b[] }'
43 reference: __pet_ref_2