19 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
25 schedule: '{ S_0[] -> [0, 0] }'
31 relation: '{ S_0[] -> b[] }'
32 index: '{ S_0[] -> b[] }'
33 reference: __pet_ref_0
38 schedule: '{ S_1[] -> [0, 1] }'
44 relation: '{ S_1[] -> b[] }'
45 index: '{ S_1[] -> b[] }'
46 reference: __pet_ref_1
53 schedule: '{ S_2[] -> [1, 0] }'
59 relation: '{ S_2[] -> c[] }'
60 index: '{ S_2[] -> c[] }'
61 reference: __pet_ref_2
66 schedule: '{ S_3[] -> [1, 1] }'
72 relation: '{ S_3[] -> c[] }'
73 index: '{ S_3[] -> c[] }'
74 reference: __pet_ref_3
78 relation: '{ S_3[] -> [1] }'
79 index: '{ S_3[] -> [(1)] }'
80 reference: __pet_ref_4
85 schedule: '{ S_4[] -> [2] }'
91 relation: '{ S_4[] -> b[] }'
92 index: '{ S_4[] -> b[] }'
93 reference: __pet_ref_5
100 schedule: '{ S_5[] -> [3] }'
106 relation: '{ S_5[] -> a[1] }'
107 index: '{ S_5[] -> a[(1)] }'
108 reference: __pet_ref_6