5 schedule: '{ domain: "{ S_0[k] : k >= 252 }", child: { schedule: "L_0[{ S_0[k] ->
14 domain: '{ S_0[k] : k >= 252 }'
22 index: '{ S_0[k] -> a[] }'
23 reference: __pet_ref_0
27 index: '{ S_0[k] -> [(k - 256*floor((k)/256))] }'
28 reference: __pet_ref_1