5 schedule: '{ domain: "{ S_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 and
6 j <= i; S_1[i, j] : i <= 99 and i >= 0 and j <= 99 and j >= 0 and j <= -1 + i }",
7 child: { schedule: "L_0[{ S_1[i, j] -> [(i)]; S_0[i, j] -> [(i)] }]", child: { schedule:
8 "L_1[{ S_1[i, j] -> [(j)]; S_0[i, j] -> [(j)] }]", child: { sequence: [ { filter:
9 "{ S_0[i, j] }" }, { filter: "{ S_1[i, j] }" } ] } } } }'
12 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
17 domain: '{ S_0[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 and j <= i }'
25 index: '{ S_0[i, j] -> a[(i)] }'
26 reference: __pet_ref_0
32 domain: '{ S_1[i, j] : i <= 99 and i >= 0 and j <= 99 and j >= 0 and j <= -1 + i
41 index: '{ S_1[i, j] -> a[(i)] }'
42 reference: __pet_ref_1
49 index: '{ S_1[i, j] -> [(i)] }'
50 reference: __pet_ref_2
54 index: '{ S_1[i, j] -> [(j)] }'
55 reference: __pet_ref_3