7 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
12 domain: '{ S_0[i, j] : (i <= 89 and i >= 75 and j >= 0 and j <= i) or (i <= 9 and
13 i >= 0 and j <= 99 and j >= 0) or (i <= 60 and i >= 10 and j >= 0 and j <= i)
14 or (i <= 74 and i >= 61 and j >= 0 and j <= i) or (i <= 99 and i >= 90 and j <=
15 150 - i and j >= 0) }'
16 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
24 index: '{ S_0[i, j] -> a[(i)] }'
25 reference: __pet_ref_0
31 domain: '{ S_1[i, j] : (i <= 89 and i >= 75 and j <= 60 and j >= 0) or (i <= 60
32 and i >= 10 and j >= 0 and j <= -1 + i) or (i <= 74 and i >= 61 and j <= 60 and
33 j >= 0) or (i <= 99 and i >= 90 and j <= 149 - i and j >= 0) }'
34 schedule: '{ S_1[i, j] -> [0, i, j, 5] }'
42 index: '{ S_1[i, j] -> a[(i)] }'
43 reference: __pet_ref_1
50 index: '{ S_1[i, j] -> [(i)] }'
51 reference: __pet_ref_2
55 index: '{ S_1[i, j] -> [(j)] }'
56 reference: __pet_ref_3