12 schedule: '{ A[] -> [0] }'
18 relation: '{ A[] -> a[] }'
19 index: '{ A[] -> a[] }'
20 reference: __pet_ref_0
24 relation: '{ A[] -> [5] }'
25 index: '{ A[] -> [(5)] }'
26 reference: __pet_ref_1
31 schedule: '{ B[] -> [1] }'
37 relation: '{ B[] -> a[] }'
38 index: '{ B[] -> a[] }'
39 reference: __pet_ref_2
43 relation: '{ B[] -> [7] }'
44 index: '{ B[] -> [(7)] }'
45 reference: __pet_ref_3