22 schedule: '{ S_0[] -> [0] }'
28 relation: '{ S_0[] -> a[] }'
29 index: '{ S_0[] -> a[] }'
30 reference: __pet_ref_0
37 schedule: '{ S_1[] -> [1, 0] }'
43 relation: '{ S_1[] -> c[] }'
44 index: '{ S_1[] -> c[] }'
45 reference: __pet_ref_1
50 schedule: '{ S_2[] -> [1, 1] }'
56 relation: '{ S_2[] -> c[] }'
57 index: '{ S_2[] -> c[] }'
58 reference: __pet_ref_2
65 schedule: '{ S_3[] -> [2] }'
71 relation: '{ S_3[] -> b[] }'
72 index: '{ S_3[] -> b[] }'
73 reference: __pet_ref_3
77 relation: '{ S_3[] -> c[] }'
78 index: '{ S_3[] -> c[] }'
79 reference: __pet_ref_4