10 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
20 schedule: '{ S_0[] -> [0] }'
26 relation: '{ S_0[] -> c[] }'
27 reference: __pet_ref_0
31 relation: '{ S_0[] -> N[] }'
32 reference: __pet_ref_1
37 schedule: '{ S_1[] -> [1] }'
43 relation: '{ S_1[] -> N[] }'
44 reference: __pet_ref_2
48 relation: '{ S_1[] -> [2] }'
49 reference: __pet_ref_3
54 schedule: '{ S_2[] -> [2] }'
60 relation: '{ [S_2[] -> [i0]] -> a[i0] : i0 >= 0 }'
61 reference: __pet_ref_5
66 relation: '{ S_2[] -> c[] }'
67 reference: __pet_ref_4
71 relation: '{ S_2[] -> [5] }'
72 reference: __pet_ref_6