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 }'
12 schedule: '{ S_0[i, j] -> [0, i, j, 0] }'
18 relation: '{ S_0[i, j] -> a[i] }'
19 index: '{ S_0[i, j] -> a[(i)] }'
20 reference: __pet_ref_0
24 relation: '{ S_0[i, j] -> [0] }'
25 index: '{ S_0[i, j] -> [(0)] }'
26 reference: __pet_ref_1
30 domain: '{ S_1[i, j] : i >= 0 and i <= 99 and j >= 0 and j <= 99 and j <= -1 + i
32 schedule: '{ S_1[i, j] -> [0, i, j, 2] }'
38 relation: '{ S_1[i, j] -> a[i] }'
39 index: '{ S_1[i, j] -> a[(i)] }'
40 reference: __pet_ref_2
47 relation: '{ S_1[i, j] -> [i] }'
48 index: '{ S_1[i, j] -> [(i)] }'
49 reference: __pet_ref_3
53 relation: '{ S_1[i, j] -> [j] }'
54 index: '{ S_1[i, j] -> [(j)] }'
55 reference: __pet_ref_4