23 schedule: '{ S_0[] -> [0] }'
31 index: '{ S_0[] -> a[] }'
32 reference: __pet_ref_0
39 schedule: '{ S_1[] -> [1, 0] }'
47 relation: '{ S_1[] -> c[] }'
48 index: '{ S_1[] -> c[] }'
49 reference: __pet_ref_1
53 schedule: '{ S_2[] -> [1, 1] }'
61 index: '{ S_2[] -> c[] }'
62 reference: __pet_ref_2
69 schedule: '{ S_3[] -> [2] }'
77 index: '{ S_3[] -> b[] }'
78 reference: __pet_ref_3
82 index: '{ S_3[] -> [(5)] }'
83 reference: __pet_ref_4