6 extent: '{ A[i0] : i0 >= 0 }'
16 schedule: '{ S_0[] -> [0] }'
22 relation: '{ S_0[] -> i[] }'
23 index: '{ S_0[] -> i[] }'
24 reference: __pet_ref_0
28 relation: '{ S_0[] -> [5] }'
29 index: '{ S_0[] -> [(5)] }'
30 reference: __pet_ref_1
34 domain: '{ S_1[t] : t >= 0 }'
35 schedule: '{ S_1[t] -> [1, t, 0] }'
41 relation: '{ [S_1[t] -> [i1]] -> A[i1] : i1 >= 0 }'
42 index: '{ [S_1[t] -> [i1]] -> A[((i1) : i1 >= 0)] }'
43 reference: __pet_ref_3
48 relation: '{ S_1[t] -> i[] }'
49 index: '{ S_1[t] -> i[] }'
50 reference: __pet_ref_2
54 relation: '{ S_1[t] -> [6] }'
55 index: '{ S_1[t] -> [(6)] }'
56 reference: __pet_ref_4
60 domain: '{ S_2[t] : t >= 0 }'
61 schedule: '{ S_2[t] -> [1, t, 1] }'
67 relation: '{ S_2[t] -> i[] }'
68 index: '{ S_2[t] -> i[] }'
69 reference: __pet_ref_5
73 relation: '{ S_2[t] -> [7] }'
74 index: '{ S_2[t] -> [(7)] }'
75 reference: __pet_ref_6