4 extent: '{ a[i0] : i0 >= 0 and i0 <= 9 }'
15 schedule: '{ S_0[] -> [0] }'
21 relation: '{ S_0[] -> b[] }'
25 relation: '{ S_0[] -> [1] }'
30 schedule: '{ S_1[] -> [1] }'
36 relation: '{ S_1[] -> c[] }'
40 relation: '{ S_1[] -> b[] }'
45 schedule: '{ S_2[] -> [2] }'
51 relation: '{ S_2[] -> b[] }'
55 relation: '{ S_2[] -> [2] }'
60 schedule: '{ S_3[] -> [3] }'
66 relation: '{ S_3[] -> a[1] }'
70 relation: '{ S_3[] -> [5] }'