7 extent: '{ A[i0] : i0 >= 0 }'
17 schedule: '{ S_0[] -> [0] }'
23 relation: '{ S_0[] -> i[] }'
24 index: '{ S_0[] -> i[] }'
25 reference: __pet_ref_0
31 domain: '{ S_1[t] : t >= 0 }'
32 schedule: '{ S_1[t] -> [1, t, 0] }'
38 relation: '{ [S_1[t] -> [i1]] -> A[i1] : i1 >= 0 }'
39 index: '{ [S_1[t] -> [i1]] -> A[((i1) : i1 >= 0)] }'
40 reference: __pet_ref_2
45 relation: '{ S_1[t] -> i[] }'
46 index: '{ S_1[t] -> i[] }'
47 reference: __pet_ref_1
53 domain: '{ S_2[t] : t >= 0 }'
54 schedule: '{ S_2[t] -> [1, t, 1] }'
60 relation: '{ S_2[t] -> i[] }'
61 index: '{ S_2[t] -> i[] }'
62 reference: __pet_ref_3