8 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
18 schedule: '{ S_0[] -> [0] }'
24 relation: '{ S_0[] -> c[] }'
28 relation: '{ S_0[] -> N[] }'
33 schedule: '{ S_1[] -> [1] }'
39 relation: '{ S_1[] -> N[] }'
43 relation: '{ S_1[] -> [2] }'
48 schedule: '{ S_2[] -> [2] }'
54 relation: '{ [S_2[] -> [i0]] -> a[i0] : i0 >= 0 }'
59 relation: '{ S_2[] -> c[] }'
63 relation: '{ S_2[] -> [5] }'