7 extent: '{ A[i0] : i0 >= 0 }'
17 schedule: '{ S_0[] -> [0] }'
25 relation: '{ S_0[] -> i[] }'
26 index: '{ S_0[] -> i[] }'
27 reference: __pet_ref_0
33 domain: '{ S_1[t] : t >= 0 }'
34 schedule: '{ S_1[t] -> [1, t, 0] }'
42 relation: '{ [S_1[t] -> [i1]] -> A[i1] : i1 >= 0 }'
43 index: '{ [S_1[t] -> [i1]] -> A[((i1) : i1 >= 0)] }'
44 reference: __pet_ref_2
49 relation: '{ S_1[t] -> i[] }'
50 index: '{ S_1[t] -> i[] }'
51 reference: __pet_ref_1
57 domain: '{ S_2[t] : t >= 0 }'
58 schedule: '{ S_2[t] -> [1, t, 1] }'
66 relation: '{ S_2[t] -> i[] }'
67 index: '{ S_2[t] -> i[] }'
68 reference: __pet_ref_3