5 schedule: '{ domain: "{ S_0[i, j] : (i <= 89 and i >= 75 and j >= 0 and j <= i) or
6 (i <= 9 and i >= 0 and j <= 99 and j >= 0) or (i <= 60 and i >= 10 and j >= 0 and
7 j <= i) or (i <= 74 and i >= 61 and j >= 0 and j <= i) or (i <= 99 and i >= 90 and
8 j <= 150 - i and j >= 0); S_1[i, j] : (i <= 89 and i >= 75 and j <= 60 and j >=
9 0) or (i <= 60 and i >= 10 and j >= 0 and j <= -1 + i) or (i <= 74 and i >= 61 and
10 j <= 60 and j >= 0) or (i <= 99 and i >= 90 and j <= 149 - i and j >= 0) }", child:
11 { schedule: "L_0[{ S_1[i, j] -> [(i)]; S_0[i, j] -> [(i)] }]", child: { schedule:
12 "L_1[{ S_1[i, j] -> [(j)]; S_0[i, j] -> [(j)] }]", child: { sequence: [ { filter:
13 "{ S_0[i, j] }" }, { filter: "{ S_1[i, j] }" } ] } } } }'
16 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
21 domain: '{ S_0[i, j] : (i <= 89 and i >= 75 and j >= 0 and j <= i) or (i <= 9 and
22 i >= 0 and j <= 99 and j >= 0) or (i <= 60 and i >= 10 and j >= 0 and j <= i)
23 or (i <= 74 and i >= 61 and j >= 0 and j <= i) or (i <= 99 and i >= 90 and j <=
24 150 - i and j >= 0) }'
32 index: '{ S_0[i, j] -> a[(i)] }'
33 reference: __pet_ref_0
39 domain: '{ S_1[i, j] : (i <= 89 and i >= 75 and j <= 60 and j >= 0) or (i <= 60
40 and i >= 10 and j >= 0 and j <= -1 + i) or (i <= 74 and i >= 61 and j <= 60 and
41 j >= 0) or (i <= 99 and i >= 90 and j <= 149 - i and j >= 0) }'
49 index: '{ S_1[i, j] -> a[(i)] }'
50 reference: __pet_ref_1
57 index: '{ S_1[i, j] -> [(i)] }'
58 reference: __pet_ref_2
62 index: '{ S_1[i, j] -> [(j)] }'
63 reference: __pet_ref_3