6 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
11 domain: '{ S_0[i, j] : (i >= 0 and i <= 99 and j >= 0 and j <= 99 and j <= i and
12 j <= 150 - i) or (i >= 0 and i <= 9 and j >= 0 and j <= 99 and j >= 1 + i and
13 j <= 150 - i) or (i >= 0 and i <= 89 and j >= 151 - i and j <= 99 and j <= i)
15 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
21 relation: '{ S_0[i, j] -> a[i] }'
22 reference: __pet_ref_0
26 relation: '{ S_0[i, j] -> [0] }'
27 reference: __pet_ref_1
31 domain: '{ S_1[i, j] : i >= 10 and i <= 99 and j >= 0 and j <= 60 and j <= -1 +
33 schedule: '{ S_1[i, j] -> [0, i, j, 5] }'
39 relation: '{ S_1[i, j] -> a[i] }'
40 reference: __pet_ref_2
47 relation: '{ S_1[i, j] -> [i] }'
48 reference: __pet_ref_3
52 relation: '{ S_1[i, j] -> [j] }'
53 reference: __pet_ref_4