5 schedule: '{ domain: "{ S_0[i, j] : exists (e0 = floor((2 + 4i)/5): i <= 4 and i >=
6 0 and 5e0 <= 5i - j and 5e0 >= -2 + 4i and j >= i) }", child: { schedule: "L_0[{
7 S_0[i, j] -> [(i)] }]", child: { schedule: "L_1[{ S_0[i, j] -> [(j)] }]" } } }'
15 domain: '{ S_0[i, j] : exists (e0 = floor((2 + 4i)/5): i <= 4 and i >= 0 and 5e0
16 <= 5i - j and 5e0 >= -2 + 4i and j >= i) }'
24 index: '{ S_0[i, j] -> a[] }'
25 reference: __pet_ref_0