23 schedule: '{ S_0[] -> [0] }'
29 relation: '{ S_0[] -> a[] }'
30 index: '{ S_0[] -> a[] }'
31 reference: __pet_ref_0
38 schedule: '{ S_1[] -> [1, 0] }'
44 relation: '{ S_1[] -> c[] }'
45 index: '{ S_1[] -> c[] }'
46 reference: __pet_ref_1
51 schedule: '{ S_2[] -> [1, 1] }'
57 relation: '{ S_2[] -> c[] }'
58 index: '{ S_2[] -> c[] }'
59 reference: __pet_ref_2
66 schedule: '{ S_3[] -> [2] }'
72 relation: '{ S_3[] -> b[] }'
73 index: '{ S_3[] -> b[] }'
74 reference: __pet_ref_3
78 relation: '{ S_3[] -> [5] }'
79 index: '{ S_3[] -> [(5)] }'
80 reference: __pet_ref_4