7 extent: '{ A[i0] : i0 >= 0 }'
17 schedule: '{ S_0[] -> [0] }'
25 index: '{ S_0[] -> i[] }'
26 reference: __pet_ref_0
32 domain: '{ S_1[t] : t >= 0 }'
33 schedule: '{ S_1[t] -> [1, t, 0] }'
41 index: '{ [S_1[t] -> [i1]] -> A[((i1) : i1 >= 0)] }'
42 reference: __pet_ref_2
47 index: '{ S_1[t] -> i[] }'
48 reference: __pet_ref_1
54 domain: '{ S_2[t] : t >= 0 }'
55 schedule: '{ S_2[t] -> [1, t, 1] }'
63 index: '{ S_2[t] -> i[] }'
64 reference: __pet_ref_3