7 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
12 domain: '{ S_0[i, j] : (i <= 99 and j >= 0 and j <= i) or (i <= 9 and i >= 0 and
13 j >= 1 + i and j <= 99) }'
14 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
22 relation: '{ S_0[i, j] -> a[i] }'
23 index: '{ S_0[i, j] -> a[(i)] }'
24 reference: __pet_ref_0
30 domain: '{ S_1[i, j] : i >= 10 and i <= 99 and j <= 99 and j >= 0 and j <= -1 +
32 schedule: '{ S_1[i, j] -> [0, i, j, 3] }'
40 relation: '{ S_1[i, j] -> a[i] }'
41 index: '{ S_1[i, j] -> a[(i)] }'
42 reference: __pet_ref_1
49 relation: '{ S_1[i, j] -> [i] }'
50 index: '{ S_1[i, j] -> [(i)] }'
51 reference: __pet_ref_2
55 relation: '{ S_1[i, j] -> [j] }'
56 index: '{ S_1[i, j] -> [(j)] }'
57 reference: __pet_ref_3