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) or
12 (i >= 0 and i <= 9 and j >= 0 and j <= 99 and j >= 1 + i) }'
13 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
19 relation: '{ S_0[i, j] -> a[i] }'
20 reference: __pet_ref_0
24 relation: '{ S_0[i, j] -> [0] }'
25 reference: __pet_ref_1
29 domain: '{ S_1[i, j] : i >= 10 and i <= 99 and j >= 0 and j <= 99 and j <= -1 +
31 schedule: '{ S_1[i, j] -> [0, i, j, 3] }'
37 relation: '{ S_1[i, j] -> a[i] }'
38 reference: __pet_ref_2
45 relation: '{ S_1[i, j] -> [i] }'
46 reference: __pet_ref_3
50 relation: '{ S_1[i, j] -> [j] }'
51 reference: __pet_ref_4